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:

Automata Modulo Theories: Symbolic automata better balances how automata are implemented in practice.

Szczegóły

Tytuł:: Automata Modulo Theories: Symbolic automata better balances how automata are implemented in practice.
Autorzy:: D'ANTONI, LORIS
VEANES, MARGUS
Źródło:: Communications of the ACM. May2021, Vol. 64 Issue 5, p86-95. 10p. 1 Color Photograph, 3 Diagrams.
: Periodyk

Pełny tekst

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

Automata Modulo Theories: Symbolic automata better balances how automata are implemented in practice.