Skip to content
<title>Channels - A Monoidal View on Fixpoint Checks :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Monoidal View on Fixpoint Checks
Search for more channels:
Similar Items: A Monoidal View on Fixpoint Checks
Channel Options
View Record
Explore related channels
Quick Look
The Complexity of Model Checking Higher-Order Fixpoint Logic
Quick Look
Monoidal Width
Quick Look
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Quick Look
Fixpoint Theory -- Upside Down
Quick Look
Operations on Fixpoint Equation Systems
Quick Look
A Probabilistic Higher-order Fixpoint Logic
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
A Categorical Approach to Syntactic Monoids
Quick Look
Definability and Interpolation within Decidable Fixpoint Logics
Quick Look
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
Quick Look
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Quick Look
Extended Stone Duality via Monoidal Adjunctions
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
Tameness and the power of programs over monoids in DA
Quick Look
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Quick Look
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Quick Look
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Enriched MU-Calculi Module Checking
Quick Look
FO Model Checking of Interval Graphs
Quick Look
Geometric Model Checking of Continuous Space
Quick Look
Model-Checking Problems as a Basis for Parameterized Intractability
Quick Look
Real-Time Model-Checking: Parameters everywhere
Load more items
View Record
Prev
Explore related channels
Next
