Algebra of Logic Programming

Míreanna comhchosúla

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