Pages that link to "Item:Q3721797"
From MaRDI portal
The following pages link to A deterministic prolog fixpoint semantics (Q3721797):
Displaying 5 items.
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Recursion equation sets computing logic programs (Q920624) (← links)
- A denotational semantics and dataflow construction for logic programs (Q1318723) (← links)
- Sémantique logique et dénotationnelle des interpréteurs PROLOG (Q3798220) (← links)
- Proving termination of general Prolog programs (Q5096221) (← links)
