Sciweavers

TIME
2003
IEEE

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

14 years 5 months ago
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning
Clare Dixon, Cláudia Nalon, Michael Fisher
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where TIME
Authors Clare Dixon, Cláudia Nalon, Michael Fisher
Comments (0)