A logic for reasoning about generic judgments
Citation
Tiu, A 2007, 'A logic for reasoning about generic judgments', Electronic Notes in Theoretical Computer Science, vol. 174, no. 5, pp. 3-18.Year
2007ANU Authors
Fields of Research
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified