Evaluation of systems for higher-order logic (ESHOL)

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

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations
Original languageEnglish (US)
Pages (from-to)22-25
Number of pages4
JournalCEUR Workshop Proceedings
StatePublished - 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