Skip to content

The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard.

Emanuel Kieronski

Year2003
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.