University Homepage
School Homepage
School Contacts
School Search
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