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. 170, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2019
Identyfikatory
Zawartość wolumenu
Vol. 170, nr 4
artykuł:
Intrinsic Factorization of Ideals in Dedekind Domains
(
Darkey-Mensah M. K.
,
Koprowski P.
), s. 325--338
artykuł:
Computing with Infinite Terms and Infinite Reductions
(
Ketema J.
,
Simonsen J. G.
), s. 339--365
artykuł:
Gamma-Reduction in Type Theory of Acyclic Recursion
(
Loukanova R.
), s. 367--411
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ć.