Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
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
copy to clipboard
copied
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
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
®
1
Scopus citations
®
without self-citations
1
OpenCitations
0
WoS citations
™
1
Bibliography
Similar publications
Contact ORBilu