Higher-Order Theorem Proving and its Applications

Steen, Alexander

doi:10.1515/itit-2019-0001

Available on ORBilu since
05 September 2019

Article (Scientific journals)

Higher-Order Theorem Proving and its Applications

Steen, Alexander

2019 • In IT-Information Technology, 61 (4), p. 187-191

Peer Reviewed verified by ORBi

Permalink
https://hdl.handle.net/10993/40250

DOI
10.1515/itit-2019-0001

Files Send to Details Statistics Bibliography Similar publications

Files

Full Text

[it - Information Technology] Higher-order theorem proving and its applications.pdf

Author postprint (220.27 kB)

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

External co-authors :

Language :

English

Title :

Higher-Order Theorem Proving and its Applications

Publication date :

August 2019

Journal title :

IT-Information Technology

ISSN :

2196-7032

Publisher :

De Gruyter, Berlin, Germany

Volume :

Issue :

Pages :

187-191

Peer reviewed :

Peer Reviewed verified by ORBi

Additional URL :

https://www.degruyter.com/view/j/itit.ahead-of-print/itit-2019-0001/itit-2019-0001.xml

Statistics

Number of views

85 (2 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

WoS citations^™