Article (Scientific journals)
Higher-Order Theorem Proving and its Applications
Steen, Alexander
2019In IT-Information Technology, 61 (4), p. 187-191
Peer Reviewed verified by ORBi
 

Files


Full Text
[it - Information Technology] Higher-order theorem proving and its applications.pdf
Author postprint (220.27 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



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 :
no
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 :
61
Issue :
4
Pages :
187-191
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 05 September 2019

Statistics


Number of views
87 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
1
Scopus citations®
without self-citations
1
OpenCitations
 
0
WoS citations
 
1

Bibliography


Similar publications



Contact ORBilu