An algebraic framework for the definition of compositional semantics of normal logic programs
From MaRDI portal
Publication:4700444
DOI10.1016/S0743-1066(98)10039-0zbMath0933.68031MaRDI QIDQ4700444
Fernando Orejas, Paqui Lucio, Elvira Pino
Publication date: 19 December 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Semantics of structured normal logic programs, A functorial framework for constraint normal logic programming