Structured calculational proof
type: Item
instance of: scholarly article
title: Structured calculational proof
zbMATH Open document ID: 0905.68139
DOI: 10.1007/BF01211456
author: Jim Grundy
author: Joakim von Wright
author: Ralph-Johan Back
published in: Formal Aspects of Computing
publication date: 1999-01-11T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 1206842
zbMATH Keywords: structured calculational proof
MaRDI profile type: Publication
cites work: Refinement Calculus
cites work: Q4692630
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q4282663
cites work: How to Write a Proof
cites work: Q5559220
cites work: Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
cites work: Q5610986
cites work: On the shape of mathematical arguments
cites work: A deficiency of natural deduction
cites work: The generic development language. Presentation and case studies
description: scientific article; zbMATH DE number 1206842