Original language | English GB |
---|---|
Title of host publication | ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994 |
Editors | Frank S. de Boer, Maurizio Gabbrielli |
State | Published - 1994 |
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
Michael Codish, Bart Demoen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution