scientific article; zbMATH DE number 1303983

zbMATH Open0924.68179MaRDI QIDQ4250652FDOQ4250652

Authors: Joakim von Wright 

Publication date: 17 June 1999

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1670756
• Supporting contexts in program refinement
• scientific article; zbMATH DE number 1304003
• Rewriting, inference, and proof

zbMATH Keywords

window inference

Mathematics Subject Classification ID

Cited In (1)

• Title not available (Why is that?)

This page was built for publication:

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