Solving higher-order equations : from logic to programming /

Bibliographic Details

Main Author:	Prehofer, Christian, 1967-
Format:	Book
Language:	English
Published:	Boston : Birkhauser, [1998]
Series:	Progress in theoretical computer science.
Subjects:	Computer logic. Declarative programming. Logic, Symbolic and mathematical.