On subgoal induction

Access full-text files

EWD576.pdf (87.09 KB)
E.W.Dijkstra Archive_ On subgoal induction (EWD 576).pdf (158.36 KB)

Date

1976

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Computer Science

Description

published as cite EWD:EWD576pub

Keywords

EWD index number 576, Edsger Wybe Dijkstra

LCSH Subject Headings

Citation

URI

https://hdl.handle.net/2152/126554
 https://doi.org/10.26153/tsw/53091

Collections

EWD Index Manuscripts