Skip navigation
The Australian National University

Optimal Tableau Algorithms for Coalgebraic Logics

Citation

Gore, R, Kupke, C & Pattinson, D 2010, 'Optimal Tableau Algorithms for Coalgebraic Logics', International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2010, ed. J. Esparza and R Majumdar, Springer, Berlin, Germany.

Year

2010

ANU Authors

Field of Research

  • Computation Theory And Mathematics

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers