PL
|
EN
Ten serwis zostanie wyłączony 2025-02-11.
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. 150, nr 3/4
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2017
Identyfikatory
Zawartość wolumenu
Vol. 150, nr 3/4
artykuł:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages
(
Grathwohl N. B. B.
,
Henglein F.
,
Kozen D.
), s. 241--257
artykuł:
Non-monotonic Pre-fix Points and Learning
(
Berardi S.
,
de’ Liguoro U.
), s. 259--280
artykuł:
Pebble Games with Algebraic Rules
(
Dawar A.
,
Holm B.
), s. 281--316
artykuł:
Łukasiewicz μ-calculus
(
Mio M.
,
Simpson A.
), s. 317--346
artykuł:
CoCaml: Functional Programming with Regular Coinductive Types
(
Jeannin J.-B.
,
Kozen D.
,
Silva A.
), s. 347--377
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ć.