Skip to content
<title>Channels - Separation for dot-depth two :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Separation for dot-depth two
Search for more channels:
Similar Items: Separation for dot-depth two
Channel Options
View Record
Explore related channels
Quick Look
Connecting the Dots
Quick Look
Separating regular languages with two quantifier alternations
Quick Look
Two for the Price of One: Lifting Separation Logic Assertions
Quick Look
Prediction of dot gain in flexographic color printing using machine learning
Quick Look
Separability in the Ambient Logic
Quick Look
Separating Sessions Smoothly
Quick Look
Independence and concurrent separation logic
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Separators in Continuous Petri Nets
Quick Look
Amortised Resource Analysis with Separation Logic
Quick Look
Stone-Type Dualities for Separation Logics
Quick Look
Regular Separability of One Counter Automata
Quick Look
Interaction and Depth against Nondeterminism in Proof Search
Quick Look
Shrub-depth: Capturing Height of Dense Graphs
Quick Look
Scaling ResNets in the Large-depth Regime
Quick Look
Separating Regular Languages with First-Order Logic
Quick Look
Covering and separation for logical fragments with modular predicates
Quick Look
Every metric space is separable in function realizability
Quick Look
Depth lower bounds in Stabbing Planes for combinatorial principles
Quick Look
A Complete Axiomatisation for Quantifier-Free Separation Logic
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
Point-Separable Classes of Simple Computable Planar Curves
Load more items
View Record
Prev
Explore related channels
Next
