Informatics Report Series


Leonid Libkin

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1348 Oct 2009 Algorithmic metatheorems for decidable LTL model checking over infinite systems
EDI-INF-RR-1261 Jun 2008 Recurrent Reachability Analysis in Regular Model Checking
EDI-INF-RR-0835 2004 A normal form for XML documents
EDI-INF-RR-0834 2003 Definable relations and first-order query languages over strings
EDI-INF-RR-0833 2005 An information-theoretic approach to normal forms for relational and XML data.
EDI-INF-RR-0832 2004 Elements of Finite Model Theory

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh