The following pages link to (Q4368829):
Displaying 7 items.
- A weaker sufficient condition for the equivalence of a pair of DPDA's to be decidable (Q1075060) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- Decidability of equational theories for subsignatures of relation algebra (Q1617808) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- The weak hereditary class of a variety (Q3599900) (← links)
- (Q4896519) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)