Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings
DOI10.1007/BFB0026998zbMATH Open0871.00033OpenAlexW4234297789MaRDI QIDQ1367070FDOQ1367070
Authors:
Publication date: 17 September 1997
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0026998
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (5)
- Algebraic and logic programming. 4th international conference, ALP '94, Madrid, Spain, September 14--16, 1994. Proceedings
- Algebraic and logic programming. 5th international conference, ALP '96, Aachen, Germany, September 25--27, 1996. Proceedings
- Title not available (Why is that?)
- Higher-order algebra, logic, and term rewriting. Second international workshop, HOA '95, Paderborn, Germany, September 21--22, 1995. Selected papers
- From Boolean equalities to constraints
This page was built for publication: Algebraic and logic programming. 6th international joint conference, ALP '97 - HOA '97, Southampton, GB, September 3--5, 1997. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1367070)
