Skip to content
Channels - Linear-time logics -- a coalgebraic perspective :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Linear-time logics -- a coalgebraic perspective
Search for more channels:
Similar Items: Linear-time logics -- a coalgebraic perspective
Channel Options
View Record
Explore related channels
Quick Look
Strongly Complete Logics for Coalgebras
Quick Look
Positive fragments of coalgebraic logics
Quick Look
Moss' logic for ordered coalgebras
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Coalgebraic Geometric Logic: Basic Theory
Quick Look
Coalgebraic trace semantics via forgetful logics
Quick Look
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Quick Look
Many-valued coalgebraic logic over semi-primal varieties
Quick Look
The complexity of linear-time temporal logic over the class of ordinals
Quick Look
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Quick Look
Bases as Coalgebras
Quick Look
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
Quick Look
Linear Abadi and Plotkin Logic
Quick Look
Bounded Linear Logic, Revisited
Quick Look
Weak topologies for Linear Logic
Quick Look
On noncommutative extensions of linear logic
Quick Look
Towards Races in Linear Logic
Quick Look
Rational streams coalgebraically
Quick Look
Well-Pointed Coalgebras
Quick Look
Coalgebraic Behavioral Metrics
Quick Look
Duality for powerset coalgebras
Quick Look
Functional Interpretations of Intuitionistic Linear Logic
Quick Look
Taylor expansion in linear logic is invertible
Quick Look
LNL polycategories and doctrines of linear logic
Load more items
View Record
Prev
Explore related channels
Next