Evaluation of systems for higher-order logic (ESHOL)

Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe

Research output: Contribution to journalConference article

Original languageEnglish (US)
Pages (from-to)22-25
Number of pages4
JournalCEUR Workshop Proceedings
Volume373
StatePublished - Dec 1 2008
Event1st International Workshop on Practical Aspects of Automated Reasoning, PAAR 2008, Held Jointly with the Workshop on Evaluation of Systems for Higher Order Logic, ESHOL 2008 - Sydney, NSW, Australia
Duration: Aug 10 2008Aug 11 2008

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Benzmüller, C., Rabe, F., Schürmann, C., & Sutcliffe, G. (2008). Evaluation of systems for higher-order logic (ESHOL). CEUR Workshop Proceedings, 373, 22-25.