- Complexity of the word problem for commutative semigroups of fixed dimension Dung T. Huynh Mon 11 November 2013
- The Complexity of the Equivalence Problem for Commutative Semigroups Ernst W. Mayr Alle Rechte Vorbehalten Mon 11 November 2013
- The complexity of the equivalence problem for commutative semigroups and symmetric vector addition systems D T Huynh Mon 11 November 2013
- Recent results on the complexity of problems related to Petri nets Rodney R. Howell LouisE. Rosier Mon 11 November 2013
- A multiparameter analysis of the boundedness problem for vector addition systems Louis E Rosier Hsu-Chun Yen Mon 11 November 2013
- Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report) E. Cardoza R. Lipton A. R. Meyer Mon 11 November 2013
- The complexity of decision problems in automata theory and logic Larry J. Stockmeyer Mon 11 November 2013
- Approximating Petri Net Reachability Along Context-free Traces Mohamed Faouzi Atig Pierre Ganty Mon 11 November 2013
- The reachability problem for branching vector addition systems requires doubly-exponential space Ranko Lazić Mon 11 November 2013
- Vector Addition Tree Automata Philippe de Groote Bruno Guillaume Sylvain Salvati Mon 11 November 2013
- On the computational complexity of dominance links in grammatical formalisms Sylvain Schmitz Mon 11 November 2013
- Multiset-valued linear index grammars: imposing dominance constraints on derivations Owen Rambow Mon 11 November 2013
- A structure to decide reachability in Petri nets J. L. Lambert Mon 11 November 2013
- Vector Addition Systems Reachability Problem (A Simpler Solution) Jérôme Leroux Mon 11 November 2013
- The reachability problem for vector addition systems with a stack is not elementary Ranko Lazic Sun 10 November 2013
- Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian Ranko Lazic Joel Ouaknine James Worrell Sun 10 November 2013
- Minimal Function Graphs Are Not Instrumented Alan Mycroft Mads Rosendahl Fri 08 November 2013
- Constraint-based inter-procedural analysis of parallel programs Helmut Seidl Bernhard Steffen Fri 08 November 2013
- Interprocedural Analysis Based on PDAs Helmut Seidl Christian Fecht Fri 08 November 2013
- Interprocedural analyses: a comparison Helmut Seidl Christian Fecht Fri 08 November 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
