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 5 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)
