Embedding Display Calculi into Logical Frameworks

Citation

Dawson, J & Gore, R 2000, 'Embedding Display Calculi into Logical Frameworks', Australasian Workshop on Computational Logic (AWCL 2000), ed. Lloyd, J, Australian National University, Canberra, pp. 179-188.

Year

2000

ANU Authors

Field of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  16 January 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers