The Library

Browse by Funders

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., 1967- and Lazic, Ranko. (2009) LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), Vol.10 (No.3). p. 16. ISSN 1529-3785

This list was generated on Tue May 21 16:19:43 2013 BST.