- Tytuł:
- A comprehensive setting for matching and unification over iterative terms
- Autorzy:
-
Intrigila, B.
Inverardi, P.
Zilli, M.V. - Data publikacji:
- 1999
- Słowa kluczowe:
-
infinite sequences of terms
infinite terms
normal forms
matching
unification
most general unifiers - Pokaż więcej
- Dostawca treści:
- BazTech