Algebraic methods in the compositional analysis of logic programs
From MaRDI portal
Publication:5096873
DOI10.1007/3-540-58338-6_62zbMATH Open1493.68072OpenAlexW1550158525MaRDI QIDQ5096873FDOQ5096873
Authors: Fernando Orejas, Elvira Pino, Hartmut Ehrig 
Publication date: 18 August 2022
Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58338-6_62
Recommendations
- Fully abstract compositional semantics for an algebra of logic programs
- scientific article; zbMATH DE number 978245
- scientific article; zbMATH DE number 3880080
- scientific article; zbMATH DE number 5081758
- A compositional semantics for logic programs
- An algebraic framework for the definition of compositional semantics of normal logic programs
- scientific article; zbMATH DE number 3972168
- Program Development in Computational Logic
- scientific article; zbMATH DE number 4031629
- Clausal logic and logic programming in algebraic domains
Cites Work
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logical analysis of modules in logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Declarative modeling of the operational behavior of logic languages
- Abstract and behaviour module specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (6)
- Composing recursive logic programs with clausal join
- Title not available (Why is that?)
- Compositional Semantics for the Procedural Interpretation of Logic
- A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG
- Title not available (Why is that?)
- Algebraic composition of function tables
This page was built for publication: Algebraic methods in the compositional analysis of logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096873)
