Sciweavers

TIME
2002
IEEE

Indexed Flows in Temporal x Modal Logic with Functional Semantics

14 years 4 months ago
Indexed Flows in Temporal x Modal Logic with Functional Semantics
Alfredo Burrieza, Inman P. de Guzmán, Emili
Added 16 Jul 2010
Updated 16 Jul 2010
Type Conference
Year 2002
Where TIME
Authors Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
Comments (0)