Generic Methods for formalising sequent Calculi Applied to provability logic

Citation

Dawson, J & Gore, R, 2010, 'Generic methods for formalising sequent Calculi applied to provability logic', International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2010), ed. Christian G. Ferm, Springer, Berlin, pp. 263-277.

Year

2010

ANU Authors

Field of Research

  • Computation Theory And Mathematics

Updated:  18 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers