Pos(T) : Analyzing dependencies in typed logic programs

Maurice Bruynooghe, Wim Vanhoof, Mike Codish

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)406-420
Number of pages15
JournalPerspectives of System Informatics
Volume2244
Publication statusPublished - 2001

Cite this

Bruynooghe, Maurice ; Vanhoof, Wim ; Codish, Mike. / Pos(T) : Analyzing dependencies in typed logic programs. In: Perspectives of System Informatics. 2001 ; Vol. 2244. pp. 406-420.
@article{fcca9bd50ca845b09edb0df3c0f151c6,
title = "Pos(T) : Analyzing dependencies in typed logic programs",
author = "Maurice Bruynooghe and Wim Vanhoof and Mike Codish",
year = "2001",
language = "English",
volume = "2244",
pages = "406--420",
journal = "Perspectives of System Informatics",

}

Pos(T) : Analyzing dependencies in typed logic programs. / Bruynooghe, Maurice; Vanhoof, Wim; Codish, Mike.

In: Perspectives of System Informatics, Vol. 2244, 2001, p. 406-420.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Pos(T) : Analyzing dependencies in typed logic programs

AU - Bruynooghe, Maurice

AU - Vanhoof, Wim

AU - Codish, Mike

PY - 2001

Y1 - 2001

M3 - Article

VL - 2244

SP - 406

EP - 420

JO - Perspectives of System Informatics

JF - Perspectives of System Informatics

ER -