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

Updated:  10 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers