Pages that link to "Item:Q908686"
From MaRDI portal
The following pages link to First order compiler: A deterministic logic program synthesis algorithm (Q908686):
Displaying 8 items.
- Implementing constructive intensional negation (Q839831) (← links)
- Equivalence-preserving first-order unfold/fold transformation systems (Q1200980) (← links)
- Logic program synthesis from first-order logic specifications (Q1314418) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- An equivalence preserving first order unfold/fold transformation system (Q5096195) (← links)
- New Advances in Logic-Based Probabilistic Modeling by PRISM (Q5452024) (← links)
