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. 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
artykuł:
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
(
Milius S.
,
Litak T.
), s. 407--449
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ć.