Modular Approach to the Logical Theory of Programs.

Lech Banachowski

Published in: MFCS (1974)

Keyphrases

theoretical framework
general theory
logical properties
artificial intelligence
rough sets
computational model
formal model
theoretical basis
automatic programming
modular structure