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:

TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems

Szczegóły

Tytuł:: TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems
Autorzy:: Kawaguchi, Nobuo
Sakabe, Toshiki
Inagaki, Yasuyoshi
Źródło:: Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings. 1101:571-574
: Książka elektroniczna

Full Text Finder

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

TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems