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. 63, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2004
Identyfikatory
Zawartość wolumenu
Vol. 63, nr 4
artykuł:
A Timed Linda Language and its Denotational Semantics
(
de Boer F. S.
,
Gabbrielli M.
,
Meo M. C.
), s. 309--330
artykuł:
Algebraic Structures Related to Many Valued Logical Systems. Part 1, Heyting Wajsberg Algebras
(
Cattaneo G.
,
Ciucci D.
,
Giuntini R.
,
Konig M.
), s. 331--355
artykuł:
Algebraic Structures Related to Many Valued Logical Systems. Part 2, Equivalence Among some Widespread Structures
(
Cattaneo G.
,
Ciucci D.
,
Giuntini R.
,
Konig M.
), s. 357--373
artykuł:
Applying term rewriting to partial algebra theory
(
Dojer N.
), s. 375--384
artykuł:
Modeling and Verification of Reactive Systems using Rebeca
(
Sirjani M.
,
Movaghar A.
,
Shali A.
,
de Boer F. S.
), s. 385--410
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ć.