Pages that link to "Item:Q4635787"
From MaRDI portal
The following pages link to Higher-Order Model Checking: An Overview (Q4635787):
Displaying 8 items.
- General decidability results for asynchronous shared-memory programs: higher-order and beyond (Q2044219) (← links)
- Equivalence of pushdown automata via first-order grammars (Q2208249) (← links)
- Epsilon-reducible context-free languages and characterizations of indexed languages (Q2280325) (← links)
- Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence (Q2301358) (← links)
- Recent advances on reachability problems for valence systems (invited talk) (Q2695487) (← links)
- (Q5020661) (← links)
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond (Q5060187) (← links)
- Automata, Logic and Games for the $$\lambda $$ -Calculus (Q5224488) (← links)