Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings
DOI10.1007/3-540-53162-9zbMath0763.68011MaRDI QIDQ1188886
No author found.
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-53162-9
Conference; Proceedings; Logic programming; resolution; constraint logic programming; narrowing; Nancy (France); Algebraic programming; concurrent features; semantics of algebraic and logic programming
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
08A70: Applications of universal algebra in computer science
68Q42: Grammars and rewriting systems
68N17: Logic programming
68N01: General topics in the theory of software
18A99: General theory of categories and functors
Related Items