Temat: vector addition system

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

Wyszukujesz frazę "vector addition system" wg kryterium: Temat

Wyświetlanie 1-3 z 3

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Catching a Structural Bug with a Flower
Autorzy:: Avellaneda, F.
Morin, R.
Data publikacji:: 2015
Słowa kluczowe:: vector addition system with states
structural properties
counterexample
dynamic graph
zero-cycle; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States
Autorzy:: Jančar, Petr
Leroux, Jérôme
Sutre, Grégoire
Data publikacji:: 2019
Słowa kluczowe:: vector addition system
Petri net
co-finite reachability set
universal reachability set
structural liveness
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: On the Computational Power of 1-Deterministic and Sequential P Systems
Autorzy:: Ibarra, O.H.
Woodworth, S.
Yen, H-C.
Dang, Z.
Data publikacji:: 2006
Słowa kluczowe:: sequential P system
1-deterministic P system
communicating P system
catalytic system
vector addition system
partially blind counter machine; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-3 z 3

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

Wyszukujesz frazę "vector addition system" wg kryterium: Temat