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. 45, nr 1,2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2001
Identyfikatory
Zawartość wolumenu
Vol. 45, nr 1,2
artykuł:
Elementary complexity and geometry of interaction
(
Baillot P.
,
Pedicini M.
), s. 1-31
artykuł:
Counting a type's (principal) inhabitants
(
Broda S.
,
Damas L.
), s. 33-51
artykuł:
Computing with Böhm tress
(
David R.
), s. 53-77
artykuł:
Explicit environments
(
Sato M
,
Sakurai T.
,
Burstall R.
), s. 79-115
artykuł:
Marginalia to a theorem of Jacopini
(
Statman R.
), s. 117-121
artykuł:
Strong normalisation of cut-elimination in clasical logic
(
Urban C.
,
Bierman G.M.
), s. 123-155
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ć.