„Automata Theory“

Suchergebnisse

1.000+ Treffer

• Automated Reasoning for Security Protocol Analysis
  Armando, Alessandro ; Basin, David A. ; Cuellar, Jorge ; Rusinowitch, Michaël ; Viganò, Luca
• Grundlagen der Theoretischen Informatik – Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
  Schulz, André 2026 Springer Vieweg
• Modeling urban growth with GIS based cellular automata and least squares SVM rules: a case study in Qingpu–Songjiang area of Shanghai, China
  Feng, Yongjiu ; Liu, Yan ; Batty, Michael
• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• The Algebraic Theory of Parikh Automata
  Cadilhac, Michaël ; Krebs, Andreas ; McKenzie, Pierre
• A portfolio of classification problems by one-dimensional cellular automata, over cyclic binary configurations and parallel update
  Montalva-Medel, Marco ; Oliveira, Pedro P. B. de ; Goles, Eric
• Cellular automata on group sets and the uniform Curtis–Hedlund–Lyndon theorem
  Wacker, Simon
• Cellular automata and finite groups
  Castillo-Ramirez, Alonso ; Gadouleau, Maximilien
• Shoreline evolution: GIS, remote sensing and cellular automata modelling
  Seghir, A. ; Marcou, O. ; El Yacoubi, S.
• Shrinking one-way cellular automata
  Kutrib, Martin ; Malcher, Andreas ; Wendlandt, Matthias
• Affine continuous cellular automata solving the fixed-length density classification problem
  Dembowski, Marcin ; Wolnik, Barbara ; Bołt, Witold ; Baetens, Jan M. ; Baets, Bernard De
• Simulations of flow-like landslides invading urban areas: a cellular automata approach with SCIDDICA
  Lupiano, Valeria ; Machado, Guillermo E. ; Molina, Lorena P. ; Crisci, Gino M. ; Gregorio, Salvatore Di
• Unification Modulo ACUI Plus Distributivity Axioms
  Anantharaman, Siva ; Narendran, Paliath ; Rusinowitch, Michael
• A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
  Arieli, Ofer ; Avron, Arnon
• Theory of Computation
  Sina, Lucien 2025 epubli
• 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)
  Chatzigiannakis, Ioannis ; Kaklamanis, Christos ; Marx, Dániel ; Sannella, Donald 2018 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds
  Bringmann, Karl ; Grønlund, Allan ; Künnemann, Marvin ; Larsen, Kasper Green
• On Fourier's algorithm for linear arithmetic constraints
  Lassez, Jean-Louis ; Maher, Michael
• An exploration of reversible septenary number-conserving cellular automata: a survey of known methods
  Wolnik, Barbara ; Dzedzej, Adam ; Dziemiańczuk, Maciej ; Wardyn, Aleksander ; De Baets, Bernard
• The addition of bounded quantification and partial functions to a computational logic and its theorem prover
  Boyer, Robert S. ; Moore, J Strother