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. 179, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2021
Identyfikatory
Zawartość wolumenu
Vol. 179, nr 4
artykuł:
Using Hoare Logic in a Process Algebra Setting
(
Bergstra J. A.
,
Middelburg C. A.
), s. 321--344
artykuł:
Recognizing Visibility Graphs of Triangulated Irregular Networks
(
Boomari Hossein
,
Ostovari Mojtaba
,
Zarei Alireza
), s. 345--360
artykuł:
Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete
(
Křivka Zbyněk
,
Meduna Alexander
), s. 361--384
artykuł:
Freeness Problem for Matrix Semigroups of Parikh Matrices
(
Teh Wen Chean
,
Atanasiu Adrian
,
Wong Denis C. K.
), s. 385--397
artykuł:
A New Description of Transversal Matroids Through Rough Set Approach
(
Wang Zhaohao
), s. 399-416
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ć.