Fingerprint
Dive into the research topics of 'Type dependencies for logic programs using ACI-unification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Type dependencies for logic programs using ACI-unification
Michael Codish, Vitaly Lagoon
Research output: Contribution to journal › Article › peer-review
27
Scopus
citations