Extending window inference

MaRDI QIDQ4250652zbMATH OpenFDO

Authors Joakim von Wright

Publication date 17 June 1999

zbMATH Keywords

window inference

Mathematics Subject Classification ID

Recommendations

• TAS -- a generic window inference system
• Supporting contexts in program refinement
• Supporting contexts in the sequential real-time refinement calculus
• Rewriting, inference, and proof

Cited in

(2)

• Supporting contexts in program refinement
• TAS -- a generic window inference system

This page was built for publication: Extending window inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250652)