|
|||||
|
|
Recursive undecidability of the binding property for finitely presented equational classes |
|
| Authors: | Stephane Foldes Gert Sabidussi |
| Institution: | (1) Université de Montréal, Montréal, Québec, Canada |
| Abstract: | It is shown that there exists no algorithm which, given a finite presentation of an equational classC, decides whether the category of algebras inC is binding. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |