Logic Programming over Polymorphically Order-Sorted Types (1989)
by
Gert Smolka
| Citations: | 58 - 0 self |
Document Versions
| Logic Programming over Polymorphically Order-Sorted Types –Gert Smolka — 1989 |
