2 search results - page 1 / 1 » An Introduction to Decidability of DPDA Equivalence |
111
Voted
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
114
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...