Fingerprint
Dive into the research topics of 'Pos(T ): Analyzing dependencies in typed logic programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Pos(T ): Analyzing dependencies in typed logic programs
Maurice Bruynooghe, Wim Vanhoof, Michael Codish
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution