System description: The Tableau workbench

Citation

Abate, P & Gore, R 2009, 'System description: The Tableau workbench', Workshop on Methods for Modalities (M4M5 2007), ed. C. Areces, S. Demri, Elsevier, The Netherlands, pp. 55-67.

Year

2009

ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

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