LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners

Reference : LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/40835

Title :	LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners
Language :	English
Author, co-author :	Wisniewski, Max [Freie Universität Berlin]
	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	Jun-2015
Main document title :	Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
Editor :	Kerber, Manfred
	Carette, Jacques
	Kaliszyk, Cezary
	Rabe, Florian
	Sorge, Volker
Publisher :	Springer
Collection and collection volume :	LNCS, Vol. 9150
Pages :	325--330
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	Intelligent Computer Mathematics. CICM 2015
Event date :	July 13-17, 2015
Event place (city) :	Washington D.C.
Event country :	USA
Keywords :	[en] Datastructures ; Automated Reasoning ; LEO Prover ; Higher Order Logic ; Agents
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/40835
DOI :	10.1007/978-3-319-20615-8_22

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	C45.pdf		Author preprint	398.1 kB	View/Open

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