Skip to content

Decidability of the Guarded Fragment with the Transitive Closure.

Jakub Michaliszyn

VenueA*ICALP
Year2009
ProceedingsICALP (2)

Browse the full ICALP paper archive.