Pages that link to "Item:Q3341879"
From MaRDI portal
The following pages link to The relation between logic programming and logic specification (Q3341879):
Displaying 7 items.
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- Logical debugging (Q1322853) (← links)
- The role of standardising apart in logic programming (Q1329744) (← links)
- On the relationship between TMS and logic programs (Q1333372) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY (Q4820031) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)