PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 105, nr 3
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2011
Identyfikatory
Zawartość wolumenu
Vol. 105, nr 3
artykuł:
Simple Bisimilarity Minimization in O(m log n) Time
(
Valmari A.
), s. 319-339
artykuł:
Hasse Diagram Generators and Petri Nets
(
Oliveira Oliveira M. d.
), s. 263-289
artykuł:
Deficiency Zero Petri Nets and Product Form
(
Mairesse J.
,
Nguyen H.-T.
), s. 237-261
artykuł:
Decidability Problems in Petri Nets with Names and Replication
(
Rosa-Velardo F.
,
Frutos-Escrig D. d.
), s. 291-317
artykuł:
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets
(
Bernardinello L.
,
Pomello L.
,
Rombola S.
), s. 211-235
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.