Higher-Order Theorem Proving and its Applications

Reference : Higher-Order Theorem Proving and its Applications


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/40250

Title :	Higher-Order Theorem Proving and its Applications
Language :	English
Author, co-author :	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	Aug-2019
Journal title :	IT-Information Technology
Publisher :	De Gruyter
Volume :	61
Issue/season :	4
Pages :	187-191
Peer reviewed :	Yes
Audience :	International
ISSN :	1611-2776
e-ISSN :	2196-7032
City :	Berlin
Country :	Germany
Target :	Researchers ; General public
Permalink :	http://hdl.handle.net/10993/40250
DOI :	10.1515/itit-2019-0001
Other URL :	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):

	File	Commentary	Version	Size	Access
Limited access	[it - Information Technology] Higher-order theorem proving and its applications.pdf		Author postprint	215.11 kB	Request a copy

All documents in ORBi^lu are protected by a user license.