Pages that link to "Item:Q1603704"
From MaRDI portal
The following pages link to \(L(A)=L(B)\)? A simplified decidability proof. (Q1603704):
Displaying 7 items.
- On the structure of graphs in the Caucal hierarchy (Q930912) (← links)
- Some properties of iterated languages (Q2011823) (← links)
- Nested session types (Q2233456) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- Bisimulation equivalence and regularity for real-time one-counter automata (Q2637644) (← links)
- Model-Checking Games for Typed λ-Calculi (Q2864164) (← links)
- One-Reversal Counter Machines and Multihead Automata: Revisited (Q3075514) (← links)
