Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Applying term rewriting to partial algebra theory

Szczegóły
Abstrakt

Tytuł:: Applying term rewriting to partial algebra theory
Autorzy:: Dojer, N.
Data publikacji:: 2004
Słowa kluczowe:: partial algebras
term rewriting
based specification
embeddability problem
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Applying term rewriting to partial algebra theory