Skip navigation
The Australian National University

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

2000

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers