swMATH28893MaRDI QIDQ40607FDOQ40607
Author name not available (Why is that?)
Official website: https://rd.springer.com/chapter/10.1007/3-540-56883-2_16
Cited In (8)
- 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
- Emacs
- IMPS: An interactive mathematical proof system
This page was built for software: EVES
