ONE IS ALL YOU NEED: ASSOCIATIVE SECOND-ORDER UNIFICATION WITHOUT FIRST-ORDER VARIABLES.
Saved in:
| Title: | ONE IS ALL YOU NEED: ASSOCIATIVE SECOND-ORDER UNIFICATION WITHOUT FIRST-ORDER VARIABLES. |
|---|---|
| Authors: | CERNA, DAVID M.1,2, david.cerna@dynatrace.comdcerna@cs.cas.cz, PARSERT, JULIAN3, julian.parsert@gmail.com |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-23, 23p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
