Coinductive
From MaRDI portal
Cited in
(22)- Rapide
- Foundational (co)datatypes and (co)recursion for higher-order logic
- (Co)inductive proof systems for compositional proofs in reachability logic
- Paco
- Interactive verification of architectural design patterns in FACTum
- The expressive power of monotonic parallel composition
- Xtext
- Truly modular (co)datatypes for Isabelle/HOL
- Recursive Functions on Lazy Lists via Domains and Topologies
- Topology
- CAVA
- Stuttering Equivalence
- Markov Models
- Monomorphic Monad
- Deriving class
- Ordinals Cardinals
- FACTum
- Dynamic Architectures
- Regex_Equivalence
- Quotients of Bounded Natural Functors
- Architectural_Design_Patterns
- Formal verification of an executable LTL model checker with partial order reduction
This page was built for software: Coinductive
