Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Stefan Kiefer
Information about the author Stefan Kiefer will soon be added to the site.
Found
2 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
BPA bisimilarity is EXPTIME-hard
2013
Given a basic process algebra (BPA) and two stack symbols, the BPA bisimilarity...
Parikh's theorem: A simple and direct automaton construction
2011
Parikh's theorem states that the Parikh image of a context-free language is semilinear...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
