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
1999ANU Authors
Fields of Research
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified