Skip to content

Reasoning about The Past with Two-Way Automata.

Moshe Y. Vardi

VenueA*ICALP
Year1998
ProceedingsICALP

Browse the full ICALP paper archive.