Facebook Instagram Twitter RSS Feed PodBean Back to top on side

On a partial syntactical criterion for LDI

In: Mathematica Slovaca, vol. 60, no. 2
Přemysl Jedlička
Detaily:
Rok, strany: 2010, 213 - 222
Kľúčové slová:
left distributivity, idempotency, word problem
O článku:
We study here so called cuts of terms and their classes modulo the identities of the left distributivity and the idempotency. We give an inductive definition of such classes and this gives us a criterion that decides in some cases whether two terms are equivalent modulo both identities.
Ako citovať:
ISO 690:
Jedlička, P. 2010. On a partial syntactical criterion for LDI. In Mathematica Slovaca, vol. 60, no.2, pp. 213-222. 0139-9918. DOI: https://doi.org/10.2478/s12175-010-0007-9

APA:
Jedlička, P. (2010). On a partial syntactical criterion for LDI. Mathematica Slovaca, 60(2), 213-222. 0139-9918. DOI: https://doi.org/10.2478/s12175-010-0007-9
O vydaní: