An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic
Citation
Demri, S & Gore, R 2000, 'An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic', International Workshop on First-Order Theorem Proving (FTP 1998), Springer, Germany, pp. 152-166.Year
2000ANU Authors
Field of Research
- Computational Logic And Formal Languages