Pages that link to "Item:Q4106190"
From MaRDI portal
The following pages link to The decision problem for standard classes (Q4106190):
Displaying 13 items.
- Finite-model theory -- A personal perspective (Q688663) (← links)
- Satisfiability of formulae with one \(\forall\) is decidable in exponential time (Q915716) (← links)
- 0-1 laws and decision problems for fragments of second-order logic (Q920075) (← links)
- Dominoes and the complexity of subclasses of logical theories (Q1115859) (← links)
- Decidability of a portion of the predicate calculus (Q1242887) (← links)
- Thue trees (Q1861534) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- The classical decision problem and partial functions (Q3867807) (← links)
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen (Q4186285) (← links)
- Decidability of the Clark's completion semantics for monadic programs and queries (Q4592984) (← links)
- Spectra and satisfiability for logics with successor and a unary function (Q5109229) (← links)
- Theoretical computer science: computability, decidability and logic (Q6602262) (← links)
