Login / Signup
Program schemata technique for propositional program logics: A 30-year history.
Nikolay V. Shilov
Svetlana O. Shilova
A. Yu. Bernshtein
Published in:
Program. Comput. Softw. (2016)
Keyphrases
</>
website
database systems
logic programs
default logic
computer programs
program execution
control program
loop formulas