Skip navigation
The Australian National University

System description: KtSeqC

Citation

Gore, R 1999, 'System description: KtSeqC', International Conference on Theorem Proving with Analytic Tableaux and Related methods (TABLEAUX 1999), ed. Kanade, T et al, Springer, Berlin, pp. 29-31.

Year

1999

ANU Authors

Fields of Research

  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

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