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. 84, nr 2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2008
Identyfikatory
Zawartość wolumenu
Vol. 84, nr 2
artykuł:
A Type Driven Theory of Predication with Complex Types
(
Asher N.
), s. 151-183
artykuł:
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
(
Biasi C.
,
Aschieri F.
), s. 185-205
artykuł:
On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic
(
Oliva P.
,
Streicher T.
), s. 207-220
artykuł:
Category Theoretic Semantics for Typed Binding Signatures with Recursion
(
Power J.
,
Tanaka M.
), s. 221-240
artykuł:
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)
(
Raffalli C.
,
Ruyer F.
), s. 241-258
artykuł:
Davidson and Reiter on Actions
(
White G.
), s. 259-289
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ć.