On the regular structure of prefix rewriting
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4035115 (Why is no real title available?)
- scientific article; zbMATH DE number 4035178 (Why is no real title available?)
- scientific article; zbMATH DE number 3716825 (Why is no real title available?)
- scientific article; zbMATH DE number 139799 (Why is no real title available?)
- scientific article; zbMATH DE number 176493 (Why is no real title available?)
- scientific article; zbMATH DE number 4124985 (Why is no real title available?)
- scientific article; zbMATH DE number 1142313 (Why is no real title available?)
- Hyperedge replacement: grammars and languages
- Regular canonical systems
- The monadic second-order logic of graphs, II: Infinite graphs of bounded width
- The theory of ends, pushdown automata, and second-order logic
Cited in
(49)- Reachability is decidable for weakly extended process rewrite systems
- Decidability of bisimulation equivalence for normed pushdown processes
- Context-free event domains are recognizable
- Prefix grammars: An alternative characterization of the regular languages
- On the symbolic reduction of processes with cryptographic functions.
- Process rewrite systems.
- Simulation preorder over simple process algebras
- The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
- Petri nets are less expressive than state-extended PA
- Computing by commuting.
- Regularity and context-freeness over word rewriting systems
- Complexity results for prefix grammars
- Prefix rewriting for nested-words and collapsible pushdown automata
- Model checking procedural programs
- The Reachability Problem over Infinite Graphs
- Transition Graphs of Rewriting Systems over Unranked Trees
- Selected Ideas Used for Decidability and Undecidability of Bisimilarity
- On Bifix Systems and Generalizations
- scientific article; zbMATH DE number 125883 (Why is no real title available?)
- scientific article; zbMATH DE number 139799 (Why is no real title available?)
- scientific article; zbMATH DE number 1254101 (Why is no real title available?)
- scientific article; zbMATH DE number 1502107 (Why is no real title available?)
- scientific article; zbMATH DE number 1512609 (Why is no real title available?)
- scientific article; zbMATH DE number 2090069 (Why is no real title available?)
- Rewrite systems with constraints
- scientific article; zbMATH DE number 1405695 (Why is no real title available?)
- scientific article; zbMATH DE number 7438568 (Why is no real title available?)
- On rationally controlled one-rule insertion systems
- Context-free event domains are recognizable
- Reflections on a Geometry of Processes
- Interprocedural Analysis of Concurrent Programs Under a Context Bound
- Reachability analysis of pushdown systems with an upper stack
- Pushdown automata, multiset automata, and Petri nets
- Decidability of model checking with the temporal logic EF
- Deciding bisimulation-like equivalences with finite-state processes
- On the Petri net realization of context-free graphs
- The regular viewpoint on PA-processes
- Regular model checking: evolution and perspectives
- Infinite results
- Decidability of bisimulation equivalence for normed pushdown processes
- Bisimulation collapse and the process taxonomy
- Properties and limits of recognition of sets of integers by countable automata
- A class of rational trace relations closed under composition
- On the computational complexity of bisimulation, redux
- Logical aspects of Cayley-graphs: the group case
- On the complexity of a family of \(k\)-context-free sequences
- Intruder deduction for the equational theory of abelian groups with distributive encryption
- An efficient automata approach to some problems on context-free grammars.
- On complexity functions of infinite words associated with generalized Dyck languages
This page was built for publication: On the regular structure of prefix rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685354)
