„decidability“

Suchergebnisse

387 Treffer

• Decidability of the AE-theory of the lattice of $${\varPi }_1^0$$ Π 1 0 classes
  Lawton, Linda
• Cardinality constraints for arrays (decidability results and applications)
  Alberti, F. ; Ghilardi, S. ; Pagani, E.
• Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)
  Antonelli, Aldo
• Constructive Geometrization of Thurston Maps and Decidability of Thurston Equivalence
  Selinger, Nikita ; Yampolsky, Michael
• About the Decidability of Polyhedral Separability in the Lattice $$\mathbb {Z}^d$$ Z d – Recognizing Digital Polyhedra with a Prescribed Number of Faces
  Gerard, Yan
• Decidability of the Extension Problem for Maps into Odd-Dimensional Spheres
  Vokřínek, Lukáš
• Decidability and Complexity of Fuzzy Description Logics
  Baader, Franz ; Borgwardt, Stefan ; Peñaloza, Rafael