Pages that link to "Item:Q1188837"
From MaRDI portal
The following pages link to Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings (Q1188837):
Displaying 8 items.
- Relevant logic programming (Q1181715) (← links)
- ELP '93, Extensions of logic programming, 4th International Workshop, St. Andrews, GB, March 29 - April 1, 1993. Proceedings (Q1327709) (← links)
- A logic for Miranda, revisited (Q1903076) (← links)
- On GCLA, Gisela, and MedView. Studies in declarative programming with application to clinical medicine (Q2709250) (← links)
- Clausal intuitionistic logic I. fixed-point semantics (Q3787973) (← links)
- (Q3998025) (← links)
- Extensions to logic programming motivated by the construction of a generic theorem prover (Q5053009) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)