Issues in machine-checking ... - Researchers

Issues in machine-checking the decidability of implicational ticket entailment

Citation

Dawson, J E & Gore, R 2017, 'Issues in machine-checking the decidability of implicational ticket entailment', 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017, ed. Renate A. Schmidt and Claudia Nalon, Springer International Publishing, Cham, Switzerland, pp. 347-363.

Year

2017

ANU Authors

Dr Jeremy Dawson
Professor Rajeev Gore

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