Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/10511
Назив: | Genclo and termequiv are exptime-complete | Аутори: | Mašulović, Dragan | Датум издавања: | 1-авг-2008 | Часопис: | International Journal of Algebra and Computation | Сажетак: | In 1999, Bergman et al. showed that the following two problems are EXPTIME-complete: GENCLO, which decides whether an operation on a finite set A belongs to a clone generated by a finite set of operations on A; and TERMEQUIV, which decides whether two algebras on the same finite set and with finitely many fundamental operations are term-equivalent. However, the proof of one of the key statements was not correct. Using the techniques proposed by Bergman et al., in this paper we present the correct proof. © 2008 World Scientific Publishing Company. | URI: | https://open.uns.ac.rs/handle/123456789/10511 | ISSN: | 02181967 | DOI: | 10.1142/S0218196708004639 |
Налази се у колекцијама: | PMF Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
1
проверено 09.09.2023.
Преглед/и станица
5
Протекла недеља
4
4
Протекли месец
0
0
проверено 03.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.