Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Agent-Based HOL Reasoning
Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph
2016In Greuel, GM; Koch, T; Paule, P et al. (Eds.) Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings
Peer reviewed
 

Files


Full Text
C56.pdf
Author preprint (287.24 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Higher Order Logic; Automated Reasoning; LEO Prover
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)
Wisniewski, Max;  Freie Universität Berlin
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Agent-Based HOL Reasoning
Publication date :
July 2016
Event name :
5th International Congress on Mathematical Software
Event place :
Berlin, Germany
Event date :
July 11 to July 14, 2016
Audience :
International
Main work title :
Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings
Editor :
Greuel, GM
Koch, T
Paule, P
Sommese, A
Publisher :
Springer, Berlin, Germany, Unknown/unspecified
ISBN/EAN :
978-3-319-42431-6
Collection name :
LNCS, Vol. 9725
Pages :
75-81
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 04 November 2019

Statistics


Number of views
61 (0 by Unilu)
Number of downloads
119 (0 by Unilu)

Scopus citations®
 
10
Scopus citations®
without self-citations
3
OpenCitations
 
4

Bibliography


Similar publications



Contact ORBilu