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. 172, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2020
Identyfikatory
Zawartość wolumenu
Vol. 172, nr 1
artykuł:
Verification Techniques for a Network Algebra
(
Brodo Linda
,
Olarte Carlos
), s. 1--38
artykuł:
Deterministic Integer Factorization with Oracles for Euler's Totient Function
(
Hittmeir Markus
,
Pomykała Jacek
), s. 39--51
artykuł:
On Szilard Languages of Labelled Insertion Grammars
(
Prithwinee Paul
), s. 53--72
artykuł:
On the Compactness Property of Mereological Spaces
(
Polkowski Lech
), s. 73--95
artykuł:
Detour Number of 1-Fault Connected Graphs
(
Raghu T. Venkata
,
Sundara Rajan R.
,
Ramesh Babu A.
,
Anil S.
), s. 97--104
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ć.