Skip to content
<title>Channels - Covering and separation for logical fragments with modular predicates :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Covering and separation for logical fragments with modular predicates
Search for more channels:
Similar Items: Covering and separation for logical fragments with modular predicates
Channel Options
View Record
Explore related channels
Quick Look
Spatial logics with connectedness predicates
Quick Look
Expressive Logics for Coinductive Predicates
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
Positive fragments of coalgebraic logics
Quick Look
Separability in the Ambient Logic
Quick Look
On Sub-Propositional Fragments of Modal Logic
Quick Look
Independence and concurrent separation logic
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Lindstrom theorems for fragments of first-order logic
Quick Look
Stone-Type Dualities for Separation Logics
Quick Look
Amortised Resource Analysis with Separation Logic
Quick Look
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Quick Look
A Fragment of Dependence Logic Capturing Polynomial Time
Quick Look
Separating Regular Languages with First-Order Logic
Quick Look
Predicative theories of continuous lattices
Quick Look
Permission-Based Separation Logic for Message-Passing Concurrency
Quick Look
Barriers in Concurrent Separation Logic: Now With Tool Support!
Quick Look
The Relationship Between Separation Logic and Implicit Dynamic Frames
Quick Look
Two for the Price of One: Lifting Separation Logic Assertions
Quick Look
Permission-Based Separation Logic for Multithreaded Java Programs
Quick Look
A Complete Axiomatisation for Quantifier-Free Separation Logic
Quick Look
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Quick Look
On two-variable guarded fragment logic with expressive local Presburger constraints
Quick Look
Predicate Abstraction with Under-approximation Refinement
Load more items
View Record
Prev
Explore related channels
Next
