Pages that link to "Item:Q5053014"
From MaRDI portal
The following pages link to Hypothetical reasoning and definitional reflection in logic programming (Q5053014):
Displaying 5 items.
- Incorporating top-down information into bottom-up hypothetical reasoning (Q688821) (← links)
- Hypothetical reasoning in logic programming: A semantic approach (Q918664) (← links)
- Computational reflection via mechanized logical deduction (Q4884066) (← links)
- Proof-theoretic notions for software maintenance (Q4923374) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)