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
2000ANU Authors
Field of Research
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)