Fixed-Point Constraints for Nominal Equational Unification (Q4993333)
From MaRDI portal
scientific article; zbMATH DE number 7359403
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fixed-Point Constraints for Nominal Equational Unification |
scientific article; zbMATH DE number 7359403 |
Statements
15 June 2021
0 references
nominal terms
0 references
fixed-point equations
0 references
nominal unification
0 references
equational theories
0 references
Fixed-Point Constraints for Nominal Equational Unification (English)
0 references
