Pages that link to "Item:Q4730754"
From MaRDI portal
The following pages link to A logical analysis of modules in logic programming (Q4730754):
Displaying 21 items.
- Semantics of structured normal logic programs (Q444364) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Equilibrium logic (Q854969) (← links)
- Translating propositional extended conjunctions of Horn clauses into Boolean circuits (Q964389) (← links)
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- An abstract interpretation framework for optimizing dynamic modular logic languages (Q1352002) (← links)
- Institutions for logic programming (Q1391732) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Uniform proofs as a foundation for logic programming (Q2640596) (← links)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
- (Q4499257) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
- Modules and specifications (Q5236441) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
