The Leo-III Project

Reference : The Leo-III Project


	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/42333

Title :	The Leo-III Project
Language :	English
Author, co-author :	Wisniewski, Max [> >]
	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 :	2014
Main document title :	Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014
Editor :	Bolotov, Alexander
	Kerber, Manfred
Pages :	38
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	Joint Automated Reasoning Workshop and Deduktionstreffen
Event date :	23rd-24th July 2014
Event place (city) :	Vienna
Event country :	Austria
Keywords :	[en] LEO Prover ; Automated Reasoning ; Proof Transformation ; Higher Order Logic
Target :	Researchers ; Students
Permalink :	http://hdl.handle.net/10993/42333
Other URL :	http://arw.csc.liv.ac.uk/2014.html

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	ARW2014proceedings.pdf		Publisher postprint	648.58 kB	Request a copy

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