BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
equival (5)
recurs (2)
decid (2)
ideal (1)
lalblc (1)

Stem dpda$ (all stems)

6 papers:

CIAACIAA-2013-HenryS #equivalence #testing
LALBLC A Program Testing the Equivalence of dpda’s (PH, GS), pp. 169–180.
LICSLICS-2012-Jancar #decidability #equivalence #first-order
Decidability of DPDA Language Equivalence via First-Order Grammars (PJ), pp. 415–424.
LATALATA-2011-LabathR #information management #using
Simplifying DPDA Using Supplementary Information (PL, BR), pp. 342–353.
ICALPICALP-2005-MurawskiOW #algol #equivalence #recursion
Idealized Algol with Ground Recursion, and DPDA Equivalence (ASM, CHLO, IW), pp. 917–929.
ICALPICALP-2003-Senizergues #equivalence #problem
The Equivalence Problem for t-Turn DPDA Is Co-NP (GS), pp. 478–489.
ICALPICALP-2002-Stirling #equivalence #recursion
Deciding DPDA Equivalence Is Primitive Recursive (CS), pp. 821–832.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.