„Kleene algebra“

Suchergebnisse

1.000+ Treffer

• On Decidability of Concurrent Kleene Algebra
  Brunet, Paul ; Pous, Damien ; Struth, Georg 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algebraic calculi for hybrid systems
  Höfner, Peter 2009 Books on Demand
• Algebraic Calculi for Separation Logic
  Dang, Han Hing ; Möller, Bernhard 2015 Universität Augsburg
• Persistent arrays, path problems, and context-free languages
  Glier, Oliver
• A new categorical equivalence for stone algebras
  Calomino, Ismael ; Pelaitay, Gustavo
• The Kleene algebra of nested pointer structures – theory and applications
  Ehm, Thorsten
• Relational Methods in Computer Science – 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
  2006 Springer International Publishing
• Relational Methods in Computer Science
  MacCaull, Wendy 1997 Springer Vienna
• [Relational and Kleene algebraic methods in computer science] – [revised selected papers]
  Berghammer, Rudolf 2004 [Springer]
• Relational and Algebraic Calculi for Database Preferences
  Roocks, Patrick ; Möller, Bernhard 2016 Universität Augsburg
• Constraint Network Satisfaction for Finite Relation Algebras
  Knäuer, Simon ; Bodirsky, Manuel ; Bulatov, Andrei A. 2023 Technische Universität Dresden
• Model Checking as Program Verification by Abstract Interpretation
  Baldan, Paolo ; Bruni, Roberto ; Ranzato, Francesco ; Rigo, Diletta 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points
  Das, Anupam ; De, Abhishek 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Eine algebraische Konstruktion für den Kleene-Stern regulärer Sprachen
  Bühler, Andreas 2014 Universitätsbibliothek der Universität Stuttgart
• Relations and Kleene Algebra in Computer Science - PHD Programme at RelMiCS10-KA5
  Berghammer, Rudolf ; Struth, Georg ; Möller, Bernhard 2008 Universität Augsburg
• Automating Memory Model Metatheory with Intersections
  Koutsouridis, Aristotelis ; Kokologiannakis, Michalis ; Vafeiadis, Viktor 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Unifying Categorical View of Nondeterministic Iteration and Tests
  Goncharov, Sergey ; Uustalu, Tarmo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Domain Reasoning in TopKAT
  Zhang, Cheng ; de Amorim, Arthur Azevedo ; Gaboardi, Marco 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Applications of Kleene Algebra (Dagstuhl Seminar 01081)
  Backhouse, Roland C. ; Kozen, Dexter ; Möller, Bernhard 2002 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finite Relational Semantics for Language Kleene Algebra with Complement
  Nakamura, Yoshiki 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik