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. 33, nr 2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
1998
Identyfikatory
Zawartość wolumenu
Vol. 33, nr 2
artykuł:
Computable approximations of reals: an information-theoretic analysis
(
Calude C.S.
,
Hertling P.H.
), s. 105-120
artykuł:
Powerdomain of paths for representing object structures
(
Pankowski T.
), s. 121-148
artykuł:
Lambda abstraction algebras : coordinatizing models of lambda calculus
(
Pigozzi D.
,
Salibra A.
), s. 149-200
artykuł:
Termination of graph rewriting is undecidable
(
Plump D.
), s. 201-209
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ć.