„decidability“

Suchergebnisse

1.000+ Treffer

• On Decidability of Concurrent Kleene Algebra
  Brunet, Paul ; Pous, Damien ; Struth, Georg 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Automated Verification of Web Applications with Embedded SQL
  Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decidability of ∀*∀‐Sentences in Membership Theories
  Omodeo, Eugenio G. ; Parlamento, Franco ; Policriti, Alberto
• Melting down the number of variables for the inclusion problem for pattern languages and logspace-decidability of determinism of regular languages
  Bremer, Joachim ; Schweikardt, Nicole ; Köbler, Johannes ; Freydenberger, Dominik 2025 Humboldt-Universität zu Berlin
• On polynomial time decidability of induced minor closed classes
  Matoušek, Jiří ; Nešetřil, Jaroslav ; Thomas, Robin 1988 Inst. für Ökonometrie u. Operations-Research
• Model Checking Population Protocols
  Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• H. Hermes, Enumerability. Decidability. Computability. (Die Grundlehren der mathematischen Wissenschaften, Band 127) × + 245 S. m. Abb. Berlin/Heidelberg/New York 1965. Springer‐Verlag. Preis geb. DM 39,–
  Kämmerer, W.
• Specification and Automatic Verification of Computational Reductions
  Grange, Julien ; Vehlken, Fabian ; Vortmeier, Nils ; Zeume, Thomas 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronizable deterministic pushdown automata and the decidability of their equivalence
  Culik, Karel ; Karhumäki, Juhani
• Decidability and Generalized Quantifiers
  Baudisch, A. ; Seese, D. ; Tuschik, H.-P. ; Weese, M. 1980 De Gruyter
• Decidability of Lattice Equations
  Galatos, Nikolaos
• Decidability of bounded second order unification
  Schmidt-Schauß, Manfred 1997 Univ.-Bibliothek Frankfurt am Main
• Decidability of bounded higher order unification
  Schmidt-Schauß, Manfred ; Schulz, Klaus U. 2001 Univ.-Bibliothek Frankfurt am Main
• Some classification and decidability results on primitive words
  Horváth, Sándor ; Kudlek, Manfred 1995 Bibliothek des Fachbereichs Informatik, Univ.
• Expressiveness and Decidability of Weighted Automata and Weighted Logics
  Paul, Erik ; Droste, Manfred ; Seidl, Helmut 2020 Universitätsbibliothek Leipzig
• Decidability of linear tree constraints for resource analysis of object-oriented programs
  Bauer, Sabine ; Beyer, Dirk 2019 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Robustness against Relaxed Memory Models
  Derevenetc, Egor ; Meyer, Roland 2015 Technische Universität Kaiserslautern
• Unboundedness Problems for Formal Languages (Invited Talk)
  Zetzsche, Georg 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Expressivity and decidability of first-order languages over feature trees
  Backofen, Rolf
• Frontiers of Combining Systems – 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21–24, 2015. Proceedings
  Fontaine, Pascal ; Ringeissen, Christophe ; Schmidt, Renate 2015 Springer International Publishing