Lock, Hendrik C. R.: The implementation of functional logic programming languages
/ Hendrik C. R. Lock. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1993. - 302 S. : graph. Darst.; 24 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 208)
ISBN 978-3-486-22627-0 / 3-486-22627-4 kart. : DM 73.00
Quelle: DNB
Loogen, Rita: Integration funktionaler und logischer Programmiersprachen
: Semantik und Implementierung / von Rita Loogen. - München : Oldenbourg, 1995. - X, 276 S.; 24 cm
ISBN 978-3-486-23040-6 / 3-486-23040-9 kart. : DM 78.00
Quelle: DNB
Prehofer, Christian: Solving higher order equations
: from logic to programming / Christian Prehofer. - Boston : Birkhäuser, 1998. - VII, 186 S.; 24 cm - (Progress in theoretical computer science)
ISBN 978-3-7643-4032-2 / 3-7643-4032-0 Kunststoff : sfr 118.00
Quelle: DNB
