Skip navigation
The Australian National University

Optimal Tableau Algorithms for Coalgebraic Logics


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.



ANU Authors

Field of Research

  • Computation Theory And Mathematics

Updated:  26 May 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers