Barendregt's variable convention in rule inductions
Citation
Urban, C, Berghofer, S & Norrish, M 2007, 'Barendregt's variable convention in rule inductions', International Conference on Automated Deduction (CADE 2007), ed. Frank Pfenning, Springer, New York, pp. 35-50.Year
2007ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified