Hajnal Andréka, István Németi, Ildikó Sain. Henkin-type semantics for program-schemes to turn negative results to positive. In FCT. pages 18-24, 1979.
@inproceedings{AndrekaNS79:0,
title = {Henkin-type semantics for program-schemes to turn negative results to positive},
author = {Hajnal Andréka and István Németi and Ildikó Sain},
year = {1979},
tags = {semantics},
researchr = {https://researchr.org/publication/AndrekaNS79%3A0},
cites = {0},
citedby = {0},
pages = {18-24},
booktitle = {FCT},
}