Journal of Symbolic Logic

Review: K. R. Apt, J. W. de Bakker, J. J. M. M. Rutten, Logic Programming Languages, Constraints, Functions, and objects; Maria Alpuente, Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, The semantics of equational logic programming as an instance of CLP

Peter H. Schmitt

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Article information

Source
J. Symbolic Logic, Volume 60, Issue 4 (1995), 1327-1328.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744888

JSTOR
links.jstor.org

Citation

Schmitt, Peter H. Review: K. R. Apt, J. W. de Bakker, J. J. M. M. Rutten, Logic Programming Languages, Constraints, Functions, and objects ; Maria Alpuente, Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, The semantics of equational logic programming as an instance of CLP. J. Symbolic Logic 60 (1995), no. 4, 1327--1328. https://projecteuclid.org/euclid.jsl/1183744888


Export citation