Institutions for logic programming

DOI10.1016/S0304-3975(96)00164-8zbMath0901.68027OpenAlexW1997197283MaRDI QIDQ1391732

Hartmut Ehrig, Elvira Pino, Fernando Orejas

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00164-8

zbMATH Keywords

Horn clause logic

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

An Institution for Graph Transformation ⋮ Structured theories and institutions ⋮ Herbrand theorems in arbitrary institutions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative modeling of the operational behavior of logic languages
• Negation and constraint logic programming
• A calculus for the construction of modular prolog programs
• Abstract and behaviour module specifications
• Institutions: abstract model theory for specification and programming
• A logical analysis of modules in logic programming

This page was built for publication: Institutions for logic programming