Algorithmic logic, a tool for investigations of programs. (English) Zbl 0381.03019
Logic., Found. Math., Comput. Theory; Proc. 5th int. Congr., London/Ontario 1975, Part 1, 281-295 (1977).
MSC:
03B60 | Other nonclassical logic |
68Q65 | Abstract data types; algebraic specification |
68W99 | Algorithms in computer science |
68W30 | Symbolic computation and algebraic computation |