scientific article
From MaRDI portal
Publication:2767087
zbMath0983.68032MaRDI QIDQ2767087
Maria-Cristina Patron, Dexter Kozen
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) Logic in computer science (03B70)
Related Items (11)
Canonical finite models of Kleene algebra with tests ⋮ Unnamed Item ⋮ Completeness and the finite model property for Kleene algebra, reconsidered ⋮ On tools for completeness of Kleene algebra with hypotheses ⋮ Completeness for Identity-free Kleene Lattices ⋮ Algebraic separation logic ⋮ Unnamed Item ⋮ Synchronous Kleene algebra ⋮ Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra ⋮ Building program construction and verification tools from algebraic principles ⋮ Abstract abstract reduction
This page was built for publication:
