The Library

Browse by Funded research at the University of Warwick

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Author | No Grouping
Jump to: Journal Article
Number of items: 1.

Journal Article

Demri, Stéphane P. and Lazic, Ranko (2009) LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), Vol.10 (No.3). p. 16. doi:10.1145/1507244.1507246 ISSN 1529-3785.

This list was generated on Sun Dec 3 10:49:43 2023 GMT.