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

2007

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

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