Skip to content
<title>Channels - Completions of Kleene's second model :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Completions of Kleene's second model
Search for more channels:
Similar Items: Completions of Kleene's second model
Channel Options
View Record
Explore related channels
Quick Look
On Tools for Completeness of Kleene Algebra with Hypotheses
Quick Look
Completeness Theorems for Kleene algebra with tests and top
Quick Look
Non-Deterministic Kleene Coalgebras
Quick Look
Deciding Kleene Algebras in Coq
Quick Look
Kleene Theorem for Higher-Dimensional Automata
Quick Look
Modularizing the Elimination of r=0 in Kleene Algebra
Quick Look
Equivalence checking for weak bi-Kleene algebra
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Complete and tractable machine-independent characterizations of second-order polytime
Quick Look
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Quick Look
Constructing Fully Complete Models of Multiplicative Linear Logic
Quick Look
On the Monadic Second-Order Transduction Hierarchy
Quick Look
The Complexity of Second-order HyperLTL
Quick Look
On the meaning of logical completeness
Quick Look
Abstract Completion, Formalized
Quick Look
Completeness of the ZX-Calculus
Quick Look
Completeness of Nominal PROPs
Quick Look
RPO, Second-order Contexts, and Lambda-calculus
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
On the Parameterized Intractability of Monadic Second-Order Logic
Quick Look
Monadic second-order definable graph orderings
Quick Look
Completeness for the coalgebraic cover modality
Quick Look
Strongly Complete Logics for Coalgebras
Quick Look
Localic completion of uniform spaces
Load more items
View Record
Prev
Explore related channels
Next
