Informatics Report Series

Author   

Colin Stirling

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report Date Title
EDI-INF-RR-0932 Jul 2006 A game-theoretic approach to deciding higher-order matching
EDI-INF-RR-0550 Sep 2005 Higher-order matching and games
EDI-INF-RR-0549 Sep 2001 Rational graphs trace context-sensitive languages
EDI-INF-RR-0548 Jul 2002 Deciding DPDA equivalence is primitive recursive
EDI-INF-RR-0547 2001 Decidability of DPDA equivalence
EDI-INF-RR-0005 Jan 2000 Decidability of Bisimulation Equivalence for Pushdown Processes


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