Skip to content

Results on the Guarded Fragment with Equivalence or Transitive Relations.

Emanuel Kieronski

VenueBCSL
Year2005
ProceedingsCSL

Browse the full CSL paper archive.