Skip navigation
The Australian National University

A tableau calculus with automaton-labelled formulae for regular grammar logics

Citation

Gore, R & Nguyen, L 2005, 'A tableau calculus with automaton-labelled formulae for regular grammar logics', International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX 2005), ed. Bernhard Beckert, Springer, Berlin Germany, pp. 138-152.

Year

2005

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Analysis Of Algorithms And Complexity

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers