Analyses of Inconsistency for Incremental Equational Logic Programming

MarĂ­a Alpuente, Moreno Falaschi, Ferdinando Manzo. Analyses of Inconsistency for Incremental Equational Logic Programming. In Maurice Bruynooghe, Martin Wirsing, editors, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings. Volume 631 of Lecture Notes in Computer Science, pages 443-457, Springer, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.