Indexed Flows in Temporal x Modal Logic with Functional Semantics

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. Indexed Flows in Temporal x Modal Logic with Functional Semantics. In TIME. pages 146, 2002. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.