Search Results - "Kleene algebra"

Relations and Kleene algebra in computer science 9th International Conference...

“…on Applications of Kleene Algebra.…”

Relations and Kleene algebra in computer science 9th International Conference...

Table of Contents: “…Weak Kleene Algebra and Computation Trees -- Finite Symmetric …”
Full Text (via Springer)

Relations and kleene algebra in computer science 11th International...

“…Kleene algebra.…”
Full Text (via Springer)

Relations and Kleene algebra in computer science : 10th International...

“…Kleene algebra.…”
Full Text (via Springer)

Relational and Kleene-algebraic methods in computer science : 7th International...

Access full-text online

Relational and Kleene-algebraic methods in computer science 7th International...

Table of Contents: “…Making Methods -- Kleene Algebra with Relations -- Contributed Papers -- …”
Full Text (via Springer)

Algebraic computability and enumeration models : recursion theory and descriptive complexity / by Nourani, Cyrus F.

Subjects: “…Kleene algebra.…”
Full Text (via Taylor & Francis)

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,...

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,...

Table of Contents: “…-- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination …”
Full Text (via Springer)

Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of S...

Table of Contents: “…Kleene algebra with hypotheses /…”
Full Text (via EBSCO)

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Table of Contents: “…Order Theorem -- Kleene Algebra with Tests and Coq Tools for while Programs.…”
Full Text (via Springer)

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023...

“…Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions …”
Full Text (via Springer)

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023...

“…Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions …”
Full Text (via EBSCO)

Logic and program semantics essays dedicated to Dexter Kozen on the occasion of his 60th birthday /

Table of Contents: “…Residuated Kleene Algebras /…”
Full Text (via Springer)

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

Table of Contents: “…Kleene Algebras and Semimodules for Energy Problems /…”
Full Text (via Springer)

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings /

Table of Contents: “…Probabilistic Concurrent Kleene Algebra /…”
Full Text (via Springer)

Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /

Table of Contents: “…Developments in Concurrent Kleene Algebra (Invited Talk) -- Endowing Concurrent Kleene …”
Full Text (via Springer)

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /

Table of Contents: “…Analysis Techniques with Kleene Algebra -- A Free Construction of Kleene Algebras …”
Full Text (via Springer)

Relational and algebraic methods in computer science : 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /

Table of Contents: “…the *-Continuous Kleene Algebras K (x) C2 -- Representable and Diagonally …”
Full Text (via Springer)

Independence-friendly cylindric set algebras by Mann, Allen Lawrence

Online Access