Pages that link to "Item:Q672703"
From MaRDI portal
The following pages link to Fully abstract compositional semantics for an algebra of logic programs (Q672703):
Displaying 14 items.
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Differential logic programs: Programming methodologies and semantics (Q1126260) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Observable behaviors and equivalences of logic programs (Q1900312) (← links)
- (Q3413363) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
- Program Development in Computational Logic (Q5712546) (← links)
- The merits of compositional abstraction: a case study in propositional logic (Q6165816) (← links)