Time and Gdel: Fuzzy Temporal Reasoning in PSPACE.

Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean

Browse the full WoLLIC paper archive.