Michael Codish
Senior Academic
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
| Publication language | English |
| Publication status | Published - 1994 |
| Publication language | English |
| Publication status | Published - 1994 |
