Pages that link to "Item:Q1575907"
From MaRDI portal
The following pages link to Complete formal systems for equivalence problems (Q1575907):
Displaying 7 items.
- On the universe, disjointness, and containment problems for simple machines (Q710740) (← links)
- Frontier between decidability and undecidability: A survey (Q1575913) (← links)
- A complete and consistent formal system for sortals (Q1591344) (← links)
- On decision problems for parameterized machines (Q2268878) (← links)
- Deterministic input-driven queue automata: finite turns, decidability, and closure properties (Q2344746) (← links)
- Formal Systems for Tuple and Equality Generating Dependencies (Q3334109) (← links)
- (Q5411465) (← links)