Cited in
(8)- On Shostak's decision procedure for combinations of theories
- Combining nonstably infinite theories
- A formal framework for managing mathematics
- Combining non-stably infinite theories
- Mechanising a Unifying Theory
- Emacs
- A fixedpoint approach to implementing (co)inductive definitions
- IMPS: An interactive mathematical proof system
This page was built for software: EVES
