An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic

Stephane Demri, Rajeev Gore

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Automated Deduction in Classical and Non-Classical Logics
Place of Publication	Germany
Publisher	Springer
Pages	152-166
Edition	Peer Reviewed
ISBN (Print)	3540671900
Publication status	Published - 2000
Event	International Workshop on First-Order Theorem Proving (FTP 1998) - Vienna Austria Duration: 1 Jan 2000 → …

Conference	International Workshop on First-Order Theorem Proving (FTP 1998)
Period	1/01/00 → …
Other	January 11 1998

Cite this

@inproceedings{421dd8330233424095ec55d4d33a5a99,

title = "An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic",

author = "Stephane Demri and Rajeev Gore",

year = "2000",

language = "English",

isbn = "3540671900",

pages = "152--166",

booktitle = "Automated Deduction in Classical and Non-Classical Logics",

publisher = "Springer",

edition = "Peer Reviewed",

note = "International Workshop on First-Order Theorem Proving (FTP 1998) ; Conference date: 01-01-2000",

}

TY - GEN

T1 - An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic

AU - Demri, Stephane

AU - Gore, Rajeev

PY - 2000

Y1 - 2000

M3 - Conference contribution

SN - 3540671900

SP - 152

EP - 166

BT - Automated Deduction in Classical and Non-Classical Logics

PB - Springer

CY - Germany

T2 - International Workshop on First-Order Theorem Proving (FTP 1998)

Y2 - 1 January 2000

ER -