Paper Info
Title
Free Term Algebras
Abstract
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.
Year
DOI
Venue
2012
10.2478/v10037-012-0029-6
FORMALIZED MATHEMATICS
Field
DocType
Volume
Christian ministry,Mathematics education,Higher education,Mathematics
Journal
20
Issue
ISSN
Citations 
3
1898-9934
3
PageRank 
References 
Authors
0.92
0
1
Name
Order
Citations
PageRank
Grzegorz Bancerek19619.74