scientific article; zbMATH DE number 5825969
From MaRDI portal
Publication:3060985
Recommendations
- Recursion schemes, collapsible pushdown automata and higher-order model checking
- Higher-order recursion schemes and their automata models
- Collapsible pushdown automata and recursion schemes
- Recursive schemes, Krivine machines, and collapsible pushdown automata
- The complexity of model checking (collapsible) higher-order pushdown systems
- Recursive programs and the hierarchy of their models
- Streett Automata Model Checking of Higher-Order Recursion Schemes
- Publication:4941897
- Algebraic computability and enumeration models. Recursion theory and descriptive complexity
Cited In (15)
- Pumping by typing
- Recursion schemes, collapsible pushdown automata and higher-order model checking
- Collapse operation increases expressive power of deterministic higher order pushdown automata
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
- On the significance of the collapse operation
- Collapsible pushdown automata and recursion schemes
- Krivine machines and higher-order schemes
- Krivine machines and higher-order schemes
- Verification of Higher-Order Computation: A Game-Semantic Approach
- The complexity of model checking (collapsible) higher-order pushdown systems
- Recursive schemes, Krivine machines, and collapsible pushdown automata
- Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection
- C-SHORe: a collapsible approach to higher-order verification
- Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes
- Title not available (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060985)
