„Fixpoint logic“
Suchergebnisse
1.000+ Treffer
-
Completeness for Coalgebraic Fixpoint Logic
-
Capturing Relativized Complexity Classes without Order
-
Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic
-
Evidence for Fixpoint Logic
-
Modal Separation of Fixpoint Formulae
-
Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time (Invited Talk)
-
A Decidable Non-Regular Modal Fixpoint Logic
-
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures
-
A Probabilistic Higher-Order Fixpoint Logic
-
Characterizing Definability in Decidable Fixpoint Logics
-
Disjunctive Bases: Normal Forms for Modal Logics
-
Global Caching for the Alternation-free µ-Calculus
-
Fragments of Fixpoint Logic on Data Words
-
Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction
-
Uniform Interpolation for Coalgebraic Fixpoint Logic
-
Canonical Coalgebraic Linear Time Logics
-
Generalized Data Automata and Fixpoint Logic
-
Inclusion Logic and Fixed Point Logic
-
Towards Incremental and Modular Context-Sensitive Analysis
-
Regular Behaviours with Names – On Rational Fixpoints of Endofunctors on Nominal Sets