Stem dpda$ (all stems)

6 papers:

CIAA-2013-HenryS #equivalence #testing

LALBLC A Program Testing the Equivalence of dpda’s (PH, GS), pp. 169–180.

LICS-2012-Jancar #decidability #equivalence #first-order

Decidability of DPDA Language Equivalence via First-Order Grammars (PJ), pp. 415–424.

LATA-2011-LabathR #information management #using

Simplifying DPDA Using Supplementary Information (PL, BR), pp. 342–353.

ICALP-2005-MurawskiOW #algol #equivalence #recursion

Idealized Algol with Ground Recursion, and DPDA Equivalence (ASM, CHLO, IW), pp. 917–929.

ICALP-2003-Senizergues #equivalence #problem

The Equivalence Problem for t-Turn DPDA Is Co-NP (GS), pp. 478–489.

ICALP-2002-Stirling #equivalence #recursion

Deciding DPDA Equivalence Is Primitive Recursive (CS), pp. 821–832.