An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic
|Collections||ANU Research Publications|
|Source:||Automated Deduction in Classical and Non-Classical Logics|
There are no files associated with this item.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.