Back to the 1987 catalog

PhD · 1987

Mantis Hoi Ming Cheng

Lambda-Equational Logic Programming

Year

1987

Academic unit

Computer Science

Surname

Cheng

Supervisor

Maarten H. van Emden