Andrzej Salwicki. Axioms of Algorithmic Logic Univocally Determine Semantics of Programs. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Volume 88 of Lecture Notes in Computer Science, pages 552-561, Springer, 1980.
@inproceedings{Salwicki80:0,
title = {Axioms of Algorithmic Logic Univocally Determine Semantics of Programs},
author = {Andrzej Salwicki},
year = {1980},
tags = {semantics, logic programming, logic},
researchr = {https://researchr.org/publication/Salwicki80%3A0},
cites = {0},
citedby = {0},
pages = {552-561},
booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
editor = {Piotr Dembinski},
volume = {88},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-10027-X},
}