Conference Proceeding

A Hierarchy of Temporal Logics with Past (Extended Abstract).

01/1994; pp.47-58 In proceeding of: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings
Source: DBLP
0 0
 · 
0 Bookmarks
 · 
11 Views
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.