Pages that link to "Item:Q1079941"
From MaRDI portal
The following pages link to Modelling the combination of functional and logic programming languages (Q1079941):
Displaying 6 items.
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Theory of logic programming. An elementary introduction (Q1202019) (← links)
- Clausal intuitionistic logic I. fixed-point semantics (Q3787973) (← links)
- Logic and functional programming by retractions (Q3817574) (← links)
- Logic programming, functional programming, and inductive definitions (Q5053012) (← links)
- FPL : Functional plus logic programming an integration of the FP and Prolog languages (Q5881284) (← links)