PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
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. 182, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2021
Identyfikatory
Zawartość wolumenu
Vol. 182, nr 4
artykuł:
Testing Boolean Functions Properties
(
Xie Zhengwei
,
Qiu Daowen
,
Cai Guangya
,
Gruska Jozef
,
Mateus Paulo
), s. 321--344
artykuł:
The Inverse of Ackermann Function is Computable in Linear Time
(
Sureson Claude
), s. 345--361
artykuł:
Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions
(
Wehler Joachim
), s. 363--393
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ć.