Pages that link to "Item:Q5712546"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712546):
Displaying 17 items.
- Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
- Computable compositions and universal program logics (Q800721) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- Compositionality properties of SLD-derivations (Q1274454) (← links)
- Institutions for logic programming (Q1391732) (← links)
- On the complexity of formulas in semantic programming (Q1615728) (← links)
- Are logical languages compositional? (Q2016061) (← links)
- A semantic approach to illative combinatory logic (Q2915681) (← links)
- A structured alternative to Prolog with simple compositional semantics (Q3087448) (← links)
- (Q3413363) (← links)
- (Q3798292) (← links)
- Composing programs in a rewriting logic for declarative programming (Q4452602) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)
- The merits of compositional abstraction: a case study in propositional logic (Q6165816) (← links)
