Coinductive
From MaRDI portal
Software:40251
No author found.
Related Items (8)
Quotients of Bounded Natural Functors ⋮ Foundational (co)datatypes and (co)recursion for higher-order logic ⋮ Formal verification of an executable LTL model checker with partial order reduction ⋮ (Co)inductive proof systems for compositional proofs in reachability logic ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Interactive verification of architectural design patterns in FACTum ⋮ Truly Modular (Co)datatypes for Isabelle/HOL ⋮ Recursive Functions on Lazy Lists via Domains and Topologies
This page was built for software: Coinductive
