Coinductive

MaRDI QIDQ7361764FDO

Authors Andreas Lochbihler, Johannes Hölzl

Publication date 12 February 2010

Cited in

(16)

• Continued Fractions
• ConcurrentHOL
• CakeML
• Lazy Lists II
• Jinja with Threads
• Formalization of Bachmair and Ganzinger's Ordered Resolution Prover
• Probabilistic Noninterference
• A Hoare Logic for Diverging Programs
• Positional Determinacy of Parity Games
• More Operations on Lazy Lists
• Stream Fusion in HOL with Code Generation
• Dynamic Architectures
• Markov Models
• Topology
• CryptHOL
• Partial Order Reduction

This page was built for software: Coinductive