Pages that link to "Item:Q4305629"
From MaRDI portal
The following pages link to Transformation of logic programs: Foundations and techniques (Q4305629):
Displayed 26 items.
- Unfold/fold transformations for disjunctive logic programs (Q287026) (← links)
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Transformations of CLP modules (Q671648) (← links)
- An improved reductant calculus using fuzzy partial evaluation techniques (Q1037854) (← links)
- Transforming constraint logic programs (Q1274969) (← links)
- Linearisability on Datalog programs (Q1884881) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Explanations as programs in probabilistic logic programming (Q2163172) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Learning efficient logic programs (Q2425246) (← links)
- Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)
- Optimization schemas for parallel implementation of non‐deterministic languages and systems (Q2758698) (← links)
- A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation (Q2841245) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- On Inductive Proofs by Extended Unfold/Fold Transformation Rules (Q3003489) (← links)
- On Negative Unfolding in the Answer Set Semantics (Q3617437) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- Introduction to the special issue on computational logic for verification (Q4644352) (← links)
- Predicate Pairing for program verification (Q4644353) (← links)
- Abstracting Models from Execution Traces for Performing Formal Verification (Q5305770) (← links)
- Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)