Reference : Higher-Order Theorem Proving and its Applications
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40250
Higher-Order Theorem Proving and its Applications
English
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
In press
IT-Information Technology
De Gruyter
Yes
International
2196-7032
Berlin
Germany
Researchers ; General public
http://hdl.handle.net/10993/40250
10.1515/itit-2019-0001
https://www.degruyter.com/view/j/itit.ahead-of-print/itit-2019-0001/itit-2019-0001.xml

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
[it - Information Technology] Higher-order theorem proving and its applications.pdfAuthor postprint215.11 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.