*license_notice_EDS_guest_loggedout* *Login*

Result: Incremental constraint satisfaction for equational logic programming

Title:

Incremental constraint satisfaction for equational logic programming
Programming language implementation and logic programming

Authors:

Alpuente, M., Falaschi, M., Levi, G.

Source:

THEORETICAL COMPUTER SCIENCE -AMSTERDAM-. 142(1):27-58

Availability:

Database:

British Library Document Supply Centre Inside Serials & Conference Proceedings

*Result*: Incremental constraint satisfaction for equational logic programming