Algebra of Logic Programming

Ижил төстэй зүйлс

• Algebra of Logic Programming
  -н: Seres, S, зэрэг
  Хэвлэсэн: (1999)
• The Logic of Procedural Readings
  -н: Seres, S, зэрэг
  Хэвлэсэн: (1999)
• Algebraic and logic programming /
  -н: Grabowski, J., зэрэг
  Хэвлэсэн: (1988)
• A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
  -н: Hoare, C
  Хэвлэсэн: (2015)
• Algebras for combinatorial search
  -н: Spivey, J
  Хэвлэсэн: (2009)