Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
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

Cite this

@inproceedings{9a7fe2d84643450f9c0ec85db7d1b649,

title = "Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop",

author = "Michael Codish and Bart Demoen",

note = "ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. ",

year = "1994",

language = "English",

editor = "Boer, \{Frank S. de\} and Maurizio Gabbrielli",

booktitle = "ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994",

}

Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. / Codish, Michael; Demoen, Bart.
ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. ed. / Frank S. de Boer; Maurizio Gabbrielli. 1994.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

AU - Codish, Michael

AU - Demoen, Bart

N1 - ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994.

PY - 1994

Y1 - 1994

M3 - Conference contribution

BT - ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994

A2 - Boer, Frank S. de

A2 - Gabbrielli, Maurizio

ER -