Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
Non-deterministic program schemata and their relation to dynamic logic
pp. 137-147
Abstract
Program schemata [1,2] theory is a branch of theoretical computer science which deals with properties of programs with non-interpreted functional and predicate symbols. Because of decidability of main properties (equivalence, halting and so on), a special place in this theory belongs to so-called Janov schemes [1], e.g., a complete system of equivalent transformations for Janov schemes in Algol-like syntax was developed by A. P. Ershov [2].
Publication details
Published in:
Skordev Dimiter G (1987) Mathematical logic and its applications. Dordrecht, Springer.
Pages: 137-147
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-1-4613-0897-3_9
Full citation:
Nepomniaschy V. A., Shilov N. V. (1987) „Non-deterministic program schemata and their relation to dynamic logic“, In: D.G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, 137–147.