Programming Languages The First 25 Years
IEEE Transactions on Computers
A summary of progress toward proving program correctness
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Sub-problem finder and instance checker: two cooperating preprocessors for theorem provers
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A functional approach to non-monotonic logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Translatability of flowcharts into while programs
Journal of Computer and System Sciences
| Hi-index | 0.00 |