PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Powiadomienia systemowe
Sesja wygasła!
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 106, nr 2-4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2011
Identyfikatory
Zawartość wolumenu
Vol. 106, nr 2-4
artykuł:
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
(
Alve G.V.
,
Oliveira A.G.,de
,
Queiroz R., de
), s. 119-147
artykuł:
Observational Completeness on Abstract Interpretation
(
Amato G.
,
Scozzari F.
), s. 149-173
artykuł:
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
(
Belardinelli F.
,
Lomuscio A.
), s. 175-190
artykuł:
Towards a Behavioral Algebraic Theory of Logical Valuations
(
Caleiro C.
,
Goncalves R.
), s. 191-209
artykuł:
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
(
Groote P., de
,
Pogodalla S.
,
Pollard C.
), s. 211-231
artykuł:
On Inferences of Full First-Order Hierarchical Decompositions
(
Link S.
), s. 233-258
artykuł:
Team Logic and Second-Order Logic
(
Kontinen J.
,
Nurmi V.
), s. 259-272
artykuł:
Dualities for Algebras of Fitting's Many-Valued Modal Logics
(
Maruyama Y.
), s. 273-294
artykuł:
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
(
Nieves J.C.
,
Osorio M.
,
Zepeda C.
), s. 295-311
artykuł:
Knowledge, Time, and the Problem of Logical Omniscience
(
Wang R-J.
), s. 321-338
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ć.