Temporalising Tableaux (2004)

Cached

Download Links

by Roman Kontchakov , Carsten Lutz , Frank Wolter , Michael Zakharyaschev
Venue:STUDIA LOGICA
Citations:17 - 5 self