Extracting proofs from tabl... - Researchers

Extracting proofs from tabled proof search

Citation

Miller, D & Tiu, A 2013, 'Extracting proofs from tabled proof search', 3rd International Conference on Certified Programs and Proofs, CPP 2013, Conference Organising Committee, Melbourne, VIC, pp. 194-210.

Year

2013

ANU Authors

Dr Alwen Tiu

Field of Research

Simulation And Modelling

Updated: 19 April 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers