EVES
From MaRDI portal
Software:40607
swMATH28893MaRDI QIDQ40607FDOQ40607
Author name not available (Why is that?)
Cited In (7)
- A fixedpoint approach to implementing (co)inductive definitions
- A formal framework for managing mathematics
- Mechanising a Unifying Theory
- On Shostak's decision procedure for combinations of theories
- Combining nonstably infinite theories
- Combining non-stably infinite theories
- IMPS: An interactive mathematical proof system
This page was built for software: EVES
