Fingerprint
Dive into the research topics of 'A note on semantics of logic programs with equality based on complete sets of E-unifiers'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Anatoli Degtyarev, Andrei Voronkov
Research output: Contribution to journal › Article › peer-review