Logic Program Development Based on Typed Moded Schemata and Data Types

Emmanouil I Marakakis

Research output: Other contribution › PhD thesis (not Bristol)

Translated title of the contribution	Logic Program Development Based on Typed Moded Schemata and Data Types
Original language	English
Number of pages	271
Publication status	Published - 1997

Examining body: Department of Computer Science, University of Bristol

Access to Document