Coinductive
From MaRDI portal
Cited in
(22)- 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
- Rapide
- Paco
- Xtext
- CAVA
- Deriving class
- Markov Models
- Monomorphic Monad
- Ordinals Cardinals
- Topology
- Stuttering Equivalence
- Dynamic Architectures
- FACTum
- Regex_Equivalence
- Architectural_Design_Patterns
- Quotients of Bounded Natural Functors
- Foundational (co)datatypes and (co)recursion for higher-order logic
This page was built for software: Coinductive
