scientific article; zbMATH DE number 5825969
From MaRDI portal
Publication:3060985
DOI10.3233/978-1-60750-100-8-263zbMATH Open1214.68160MaRDI QIDQ3060985FDOQ3060985
Authors:
Publication date: 13 December 2010
Title of this publication is not available (Why is that?)
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
model checkinggame semanticspushdown automataparity gameshigher-order computationsurvey articlerecursion schemeshigher-order collapsible pushdown automata
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
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 that?)
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)
