coFJ
From MaRDI portal
CoFJ
Cited in
(9)- Enhancing expressivity of checked corecursive streams
- Paco
- CoALP
- Generalizing inference systems by coaxioms
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- CoCaml
- scientific article; zbMATH DE number 6932679 (Why is no real title available?)
- Program equivalence by circular reasoning
- Foundations of regular coinduction
This page was built for software: coFJ
