Reasoning about The Past with Two-Way Automata (1998)

Cached

Download Links

by Moshe Y. Vardi
Citations:129 - 12 self