Skip to content
<title>Channels - Recursion Schemes, the MSO Logic, and the U quantifier :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Recursion Schemes, the MSO Logic, and the U quantifier
Search for more channels:
Similar Items: Recursion Schemes, the MSO Logic, and the U quantifier
Channel Options
View Record
Explore related channels
Quick Look
Undecidability of a weak version of MSO+U
Quick Look
Semantics of Higher-Order Recursion Schemes
Quick Look
Using models to model-check recursive schemes
Quick Look
Expansions of MSO by cardinality relations
Quick Look
Optimizing tree decompositions in MSO
Quick Look
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Quick Look
L-Recursion and a new Logic for Logarithmic Space
Quick Look
Complexity results for modal logic with recursion via translations and tableaux
Quick Look
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
Quick Look
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Quick Look
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Quick Look
On the strictness of the quantifier structure hierarchy in first-order logic
Quick Look
Monadic Second Order Logic with Measure and Category Quantifiers
Quick Look
A Complete Axiomatisation for Quantifier-Free Separation Logic
Quick Look
Recursive Causal Discovery
Quick Look
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
Quick Look
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Quick Look
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
Quick Look
Recursive Concurrent Stochastic Games
Quick Look
Positive Inductive-Recursive Definitions
Quick Look
Unguarded Recursion on Coinductive Resumptions
Quick Look
The recursion hierarchy for PCF is strict
Quick Look
A Light Modality for Recursion
Quick Look
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Load more items
View Record
Prev
Explore related channels
Next
