Informatics Report Series


Colin Stirling

Related Pages

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

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 <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh