„decidability“
Suchergebnisse
387 Treffer
-
Decidability of the AE-theory of the lattice of $${\varPi }_1^0$$ Π 1 0 classes
-
Cardinality constraints for arrays (decidability results and applications)
-
Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)
-
Constructive Geometrization of Thurston Maps and Decidability of Thurston Equivalence
-
About the Decidability of Polyhedral Separability in the Lattice $$\mathbb {Z}^d$$ Z d – Recognizing Digital Polyhedra with a Prescribed Number of Faces
-
Decidability of the Extension Problem for Maps into Odd-Dimensional Spheres
-
Decidability and Complexity of Fuzzy Description Logics