Pages that link to "Item:Q1603704"
From MaRDI portal
The following pages link to \(L(A)=L(B)\)? A simplified decidability proof. (Q1603704):
Displaying 12 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)
- Selected Ideas Used for Decidability and Undecidability of Bisimilarity (Q3532999) (← links)
- The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)
- (Q5377226) (← links)
- Theoretical computer science: computational complexity (Q6602263) (← links)
- Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses (Q6647302) (← links)
