EVES

MaRDI QIDQ40607swMATHFDO

Official website https://rd.springer.com/chapter/10.1007/3-540-56883-2_16

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