Coinductive
From MaRDI portal
Software:40251
swMATH28537MaRDI QIDQ40251FDOQ40251
Author name not available (Why is that?)
Cited In (8)
- Formal verification of an executable LTL model checker with partial order reduction
- (Co)inductive proof systems for compositional proofs in reachability logic
- Interactive verification of architectural design patterns in FACTum
- The Expressive Power of Monotonic Parallel Composition
- Recursive Functions on Lazy Lists via Domains and Topologies
- Truly Modular (Co)datatypes for Isabelle/HOL
- Quotients of Bounded Natural Functors
- Foundational (co)datatypes and (co)recursion for higher-order logic
This page was built for software: Coinductive
