The Limits of Unification

35774
Back to Articles Dashboard

Related Entities

Формальное согласие

Task

Семантическая интерпретация

Task

Унификация

Method

Сопоставление переменных

Method

Замена переменных

Method