„decidable“
Suchergebnisse
175 Treffer
-
Decidable theories
-
The structure of decidable locally finite varieties
-
Is There a Nonrecursive Decidable Equational Theory?
-
Decidable properties of monadic recursive schemas with a depth parameter
-
On some decidable properties of finite state translations
-
Vompleteness of E0L forms is decidable
-
The decidable normal modal logics are not recursively enumerable
-
TW + and RW + are decidable
-
Decidable Verification of Golog Programs over Non-Local Effect Actions – Extended Version
-
PDL with Intersection and Converse is Decidable
-
Distributive lattices with a decidable monadic second order theory
-
The ∀∃-theory of the effectively closed Medvedev degrees is decidable
-
3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
-
Decidable reasoning in terminological knowledge representation systems
-
A decidable paraconsistent relevant logic: Gentzen system and Routley‐Meyer semantics
-
On Decidable Categoricity for Almost Prime Models of the Signature of Graphs
-
Clause Set Structures and Polynomial-Time SAT-Decidable Classes
-
The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas
-
All finitely axiomatizable subframe logics containing the provability logic CSM are decidable
-
Finite constants: Characterizations of a new decidable set of constants – extended abstract