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

Updated:  17 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers