Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

64

CORR
2010
Springer

73views Education» more CORR 2010»

Parikh's Theorem: A simple and direct construction

14 years 10 months ago

Parikh's Theorem: A simple and direct construction

Download www7.informatik.tu-muenchen.de

Javier Esparza, Pierre Ganty, Stefan Kiefer, Micha

Real-time Traffic

CORR 2010 | Education |

claim paper

Related Content

» A BiDirectional Refinement Algorithm for the Calculus of CoInductive Constructions

» Constructive Proofs of Concentration Bounds

» Construction of a Semantic Model for a Typed Assembly Language

» Pi an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions

» Monadic datalog over finite structures with bounded treewidth

Post Info
More Details (n/a)

Added	14 May 2011
Updated	14 May 2011
Type	Journal
Year	2010
Where	CORR
Authors	Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger

Comments (0)