w- независимые базисы квазитождеств дифференциальных группоидов
Поиск решений проблемы конечной базируемости находился и до сих пор находится под влиянием проблемы Альфреда Тарского (Tarski, 1966: 275–288), поставленной в 1966 году, которая спрашивает: Существует ли алгоритм, определяющий является ли эквациональная теория конечного множества конечных алгебр кон...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Al-Farabi Kazakh National University
2017-09-01
|
| Series: | Вестник КазНУ. Серия математика, механика, информатика |
| Subjects: |