Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3649
Tytuł: | Free Term Algebras |
Autorzy: | Bancerek, Grzegorz |
Data wydania: | 2012 |
Data dodania: | 6-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 20, Issue 3, 2012, Pages 239-256 |
Abstrakt: | We interoduce a new characterization of algebras of normal forms of term rewriting systems [35] as algerbras of term free in itself (any function from free generators into the algebra generates endomorphism of the algebra). Introduced algebras are free in classes of algebras satisfying some sets of equalities. Their universes are subsets of all terms and the denotations of operation symbols are partially identical with the operations of construction of terms. These algebras are compiler algebras requiring some equalities of terms, e.g., associativity of addition. |
Afiliacja: | Faculty of Computer Science, Białystok Technical University, Wiejska 45A, 15-351 Białystok, Poland |
Sponsorzy: | This work has been supported by the Polish Ministry of Science and Higher Education project “Managing a Large Repository of Computer-verified Mathematical Knowledge” (N N519 385136). |
URI: | http://hdl.handle.net/11320/3649 |
DOI: | 10.2478/v10037-012-0029-6 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2012, Volume 20, Issue 3 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
v10037-012-0029-6.pdf | 316,95 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL