Algebra of Logic Programming

Eitemau Tebyg

• Algebra of Logic Programming
  gan: Seres, S, et al.
  Cyhoeddwyd: (1999)
• The Logic of Procedural Readings
  gan: Seres, S, et al.
  Cyhoeddwyd: (1999)
• Algebraic and logic programming /
  gan: Grabowski, J., et al.
  Cyhoeddwyd: (1988)
• A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
  gan: Hoare, C
  Cyhoeddwyd: (2015)
• Algebras for combinatorial search
  gan: Spivey, J
  Cyhoeddwyd: (2009)