Skip navigation
The Australian National University

Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle

Citation

Dawson, J & Gore, R 2001, 'Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle', Computing: The Australasian Theory Symposium (CATS 2001), ed. Colin Fidge, Elsevier, Netherlands, pp. 89-103.

Year

2001

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers