A New Machine-checked Proof... - Researchers

A New Machine-checked Proof of Strong Normalisation for Display Logic

Citation

Dawson, J & Gore, R 2003, 'A New Machine-checked Proof of Strong Normalisation for Display Logic', Computing: The Australasian Theory Symposium (CATS 2003), ed. James Harland, Elsevier, Netherlands, pp. 20-39.

Year

2003

ANU Authors

Dr Jeremy Dawson
Emeritus Professor Rajeev Gore

Field of Research

Computation Theory And Mathematics Not Elsewhere Classified

Updated: 17 April 2021 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers