Free Access Can we transform logic programs into attribute grammars ? p. 499 T. Isakowitz Published online: 01 February 2017 DOI: https://doi.org/10.1051/ita/1991250604991 AbstractPDF (3.65 MB)References
Free Access Some modifications of auxiliary pushdown automata p. 545 G. Buntrock, F. Drewes, C. Lautemann and T. Mossakowski Published online: 01 February 2017 DOI: https://doi.org/10.1051/ita/1991250605451 AbstractPDF (1020 KB)References
Free Access Intuitionistic three-valued logic and logic programming p. 557 J. Vauzeilles and A. Strauss Published online: 01 February 2017 DOI: https://doi.org/10.1051/ita/1991250605571 AbstractPDF (2.20 MB)References