DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Least fixed point
Least fixed point
CTL Model Checking
Least Fixed Points Revisited
Domain Theory: an Introduction
Arxiv:1301.2793V2 [Math.LO] 18 Jul 2014 Uaeacnetof Concept a Mulate Fpwrbet Uetepwre Xo) N/Rmk S Ff of Use Make And/Or Axiom), Presupp Principles
First Order Logic, Fixed Point Logic and Linear Order Anuj Dawar University of Pennsylvania
Characterizations of Inductive Posets with Applications Milan R
Corecursive Algebras: a Study of General Structured Corecursion (Extended Abstract)
Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types
Least and Greatest Fixed Points in Linear Logic
Fixed-Point Logics and Computation
Chapter 10 DOMAIN THEORY and FIXED-POINT SEMANTICS
Corecursion and Coinduction: How They Relate to Recursion and Induction
On the Origins of Bisimulation and Coinduction
A Fixed Point Theorem for Non-Monotonic Functions
Tameness in Least Fixed-Point Logic and Mccolm's Conjecture
Fixed Point Semantics and Partial Recursion in Coq Yves Bertot, Vladimir Komendantsky
Fixed-Point Theorems for Non-Transitive Relations 3
Proving Fixed Points Hervé Grall
Top View
First Order Logic, Fixed Point Logic and Linear Order
Fixpoint Logic Vs. Infinitary Logic in Finite-Model Theory
An Introduction to Bisimulation and Coinduction
Bisimulation and Coinduction
Fixed-Point Semantics
Induction, Coinduction, and Fixed Points: Intuitions and Tutorial Using Examples from Set Theory, Number Theory, and Real Analysis
An Application of Kleene's Fixed Point Theorem to Dynamic Programming: a Note
FIXED-POINT EXTENSIONS of FIRST-ORDER LOGIC 0. Introduction
Pure and Applied Fixed-Point Logics
Applications of the Tarski–Kantorovitch Fixed-Point Principle in the Theory of Iterated Function Systems
Introduction to Domain Theory Review of Denotational Semantics
Categorical Liveness Checking by Corecursive Algebras
Knaster-Tarski Theorem
Semiring Provenance for Fixed-Point Logic
Lazy Least Fixed Points in ML
Fixed Point Semantics and Partial Recursion in Coq Yves Bertot, Vladimir Komendantsky
Least Fixed Point of a Functor
Fix-Points of Recursive Functions
Fixed Point Semantics • Basic Domain Theory • the Least Fixed Point Theorem
Initial Algebras Without Iteration
Partially Ordered Sets
Complete Axioms for Categorical Fixed-Point Operators