Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, ... 1490 (Lecture Notes in Computer Science)

by Catuscia Palamidessi (Author), Catuscia Palamidessi (Author), Karl Meinke (Author), Hugh Glaser (Author)

• New

  Paperback
  2008

  $94.53

  A collection of papers from the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, and the 6th International Conference on Algebraic and Logic Programming. They are organized in sections on topics such as verification, logic programming and term rewriting.