Reference : Effective Normalization Techniques for HOL
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/40840
Effective Normalization Techniques for HOL
English
Wisniewski, Max [Freie Universität Berlin]
Steen, Alexander mailto [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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Jun-2016
Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings
Olivetti, Nicola
Tiwari, Ashish
Springer
LNCS, Vol. 9706
362-370
Yes
No
International
978-3-319-40228-4
International Joint Conference on Automated Reasoning
Jun 27, 2016 – Jul 2, 2016
Coimbra
Portugal
[en] Higher Order Logic ; Automated Reasoning ; LEO Prover
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/40840
10.1007/978-3-319-40229-1_25
https://link.springer.com/chapter/10.1007%2F978-3-319-40229-1_25

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
C54.pdfAuthor preprint270.25 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.