Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: based specification

Sortuj według:

Ogranicz wyniki do:

Applying term rewriting to partial algebra theory

Dojer N.

Fundamenta Informaticae

2004

Vol. 63, nr 4

375--384

In our paper we apply term rewriting to decidability of equations in classes of partial algebras, as well as to embeddability of partial algebras into classes of total ones. We follow the approach to partial algebras introduced by H.-J. Kreowski in [13], in which (classes of) partial algebras are described by means of (classes of) total ones.