Logic programming: proceedings of the Joint International Conference… by Apt, Krzysztof R., Joint International Conference and Symposium on Logic Programming 0 Type: Book
Logic programming: proceedings by Hermenegildo, Manuel, Debray, Saumya, North Amercian conference on logic programming., 1990 ; Austin, Texas fromLogic programming series. Research reports and notes 0 Type: Book
A calculus of communicating systems by Milner, R., (Robin) fromLecture Notes in Computer Science 0 Type: Book
Programming language implementation and logic programming: 6th International Symposium, PLILP '94, Madrid, S… by Penjam, Jaan, Hermenegildo, Manuel, International Symposium, PLILP '94 fromLecture Notes in Computer Science 0 Type: Book
Compiler construction: 15th international conference, CC 2006, held as p… by International Conference on Compiler Construction, Vienne) fromLecture Notes in Computer Science 0 Type: Book
Tools and algorithms for the construction and analysis of systems: 12th international conference, TACAS 2006, held a… by Hermanns, Holger, Palsberg, Jens, TACAS 2006 fromLecture Notes in Computer Science 0 Type: Book
