„decidable“

Suchergebnisse

175 Treffer

• Decidable theories
  Müller, Gert H. Springer
• The structure of decidable locally finite varieties
  MacKenzie, Ralph ; Valeriote, Matthew 1989 Birkhäuser
• Is There a Nonrecursive Decidable Equational Theory?
  Wells, Benjamin
• Decidable properties of monadic recursive schemas with a depth parameter
  Gonczarowski, Jakob
• On some decidable properties of finite state translations
  Demers, A. ; Keleman, C. ; Reusch, B.
• Vompleteness of E0L forms is decidable
  Rozenberg, G. ; Verraedt, R.
• The decidable normal modal logics are not recursively enumerable
  Cresswell, M. J.
• TW + and RW + are decidable
  Giambrone, Steve
• Decidable Verification of Golog Programs over Non-Local Effect Actions – Extended Version
  Zarrieß, Benjamin ; Claßen, Jens 2022 Technische Universität Dresden
• PDL with Intersection and Converse is Decidable
  Lutz, Carsten 2022 Technische Universität Dresden
• Distributive lattices with a decidable monadic second order theory
  Kuske, Dietrich
• The ∀∃-theory of the effectively closed Medvedev degrees is decidable
  Cole, Joshua A. ; Kihara, Takayuki
• 3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
  Bene Watts, Adam ; Helton, J. William
• Decidable reasoning in terminological knowledge representation systems
  Buchheit, Martin 1996 DFKI
• A decidable paraconsistent relevant logic: Gentzen system and Routley‐Meyer semantics
  Kamide, Norihiro
• On Decidable Categoricity for Almost Prime Models of the Signature of Graphs
  Marchuk, M. I.
• Clause Set Structures and Polynomial-Time SAT-Decidable Classes
  Porschen, Stefan ; Speckenmeyer, Ewald 2007 Universitäts- und Stadtbibliothek Köln
• The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas
  Goncharov, S. S. ; Marchuk, M. I.
• All finitely axiomatizable subframe logics containing the provability logic CSM are decidable
  Wolter, Frank 2018 Universitätsbibliothek Leipzig
• Finite constants: Characterizations of a new decidable set of constants – extended abstract
  Steffen, Bernhard ; Knoop, Jens 1988 Inst. für Informatik u. Prakt. Mathematik