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