University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Anthony Lin
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1363
Feb 2010
Parikh Images of Regular Languages: Complexity and Applications
EDI-INF-RR-1348
Oct 2009
Algorithmic metatheorems for decidable LTL model checking over infinite systems
EDI-INF-RR-1306
Dec 2008
Unary finite automata vs. arithmetic progressions
EDI-INF-RR-1261
Jun 2008
Recurrent Reachability Analysis in Regular Model Checking
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh