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. 170, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2019
Identyfikatory
Zawartość wolumenu
Vol. 170, nr 4
artykuł:
Intrinsic Factorization of Ideals in Dedekind Domains
(
Darkey-Mensah Mawunyo Kofi
,
Koprowski Przemysław
), s. 325--338
artykuł:
Computing with Infinite Terms and Infinite Reductions
(
Ketema Jeroen
,
Simonsen Jakob Grue
), s. 339--365
artykuł:
Gamma-Reduction in Type Theory of Acyclic Recursion
(
Loukanova Roussanka
), 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ć.