Skip to content
<title>Channels - Completeness Theorems for Kleene algebra with tests and top :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Completeness Theorems for Kleene algebra with tests and top
Search for more channels:
Similar Items: Completeness Theorems for Kleene algebra with tests and top
Channel Options
View Record
Explore related channels
Quick Look
On Tools for Completeness of Kleene Algebra with Hypotheses
Quick Look
Deciding Kleene Algebras in Coq
Quick Look
Kleene Theorem for Higher-Dimensional Automata
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Completions of Kleene's second model
Quick Look
Modularizing the Elimination of r=0 in Kleene Algebra
Quick Look
Equivalence checking for weak bi-Kleene algebra
Quick Look
Preservation theorems for Tarski's relation algebra
Quick Look
Free complete Wasserstein algebras
Quick Look
Non-Deterministic Kleene Coalgebras
Quick Look
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
Quick Look
An expressive completeness theorem for coalgebraic modal mu-calculi
Quick Look
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
Quick Look
A new characterization of complete Heyting and co-Heyting algebras
Quick Look
Aspects of algebraic Algebras
Quick Look
Statman's Hierarchy Theorem
Quick Look
Algebraic Language Theory for Eilenberg--Moore Algebras
Quick Look
A Proof of Kamp's theorem
Quick Look
A Proof of Stavi's Theorem
Quick Look
Extension by Conservation. Sikorski's Theorem
Quick Look
Topological Scott Convergence Theorem
Quick Look
No-Go Theorems for Distributive Laws
Quick Look
Elgot Algebras
Quick Look
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Load more items
View Record
Prev
Explore related channels
Next
