Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Effective Normalization Techniques for HOL
Wisniewski, Max; Steen, Alexander; Kern, Kim et al.
2016In Olivetti, Nicola; Tiwari, Ashish (Eds.) Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings
Peer reviewed
 

Files


Full Text
C54.pdf
Author preprint (276.74 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 :
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)
Kern, Kim;  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 :
Effective Normalization Techniques for HOL
Publication date :
June 2016
Event name :
International Joint Conference on Automated Reasoning
Event place :
Coimbra, Portugal
Event date :
Jun 27, 2016 – Jul 2, 2016
Audience :
International
Main work title :
Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings
Editor :
Olivetti, Nicola
Tiwari, Ashish
Publisher :
Springer
ISBN/EAN :
978-3-319-40228-4
Collection name :
LNCS, Vol. 9706
Pages :
362-370
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 04 November 2019

Statistics


Number of views
59 (0 by Unilu)
Number of downloads
97 (0 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
5
OpenCitations
 
8

Bibliography


Similar publications



Contact ORBilu