Variants and satisfiability in the infinitary unification wonderland
| Autor: | Meseguer, José |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming August 2023 134 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Meseguer, José |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming August 2023 134 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect