A Superposition Decision Procedure for the Guarded Fragment with Equality

Authors
  • J.M.G.G. de Nivelle
  • H. Ganzinger
Publication date 1999
Host editors
  • G. Longo
Book title Fourteenth Annual IEEE Symposium on Logic in Computer Science
Pages (from-to) 295-303
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back