๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Constructive Approach to the Critical Problem for Matroids

โœ Scribed by Jaeger, F.

Book ID
122963291
Publisher
Elsevier Science
Year
1981
Tongue
English
Weight
552 KB
Volume
2
Category
Article
ISSN
0195-6698

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Note on the Critical Problem for Matro
A Note on the Critical Problem for Matroids
โœ Asano, Takao; Nishizeki, Takao; Saito, Nobuji; Oxley, James ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 421 KB
A constructive approach to the problem o
A constructive approach to the problem of program correctness
โœ E. W. Dijkstra ๐Ÿ“‚ Article ๐Ÿ“… 1968 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 867 KB

As an alternative to methods by which the correctness of given programs can be established a posteriori, this paper proposes to control the process of program generation such as to produce a priori correct programs. An example is treated to show the form that such a control might then take. This exa