home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Fundamenta Informaticae
, Volume 100
Volume 100, Numbers 1-4, 2010
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/BaranyKR10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Vince Bárány
,
Lukasz Kaiser
,
Alexander Moshe Rabinovich
:
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees.
1-17
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/BenthemG10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Johan van Benthem
,
Amélie Gheerbrant
:
Game Solution, Epistemic Dynamics and Fixed-Point Logics.
19-41
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/CoquandJ10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Thierry Coquand
,
Guilhem Jaber
:
A Note on Forcing and Type Theory.
43-52
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/Dunin-KepliczNS10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Barbara Dunin-Keplicz
,
Linh Anh Nguyen
,
Andrzej Szalas
:
A Framework for Graded Beliefs, Goals and Intentions.
53-76
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/DuntschOR10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Ivo Düntsch
,
Ewa Orlowska
,
Ingrid Rewitzky
:
Structures with Multirelations, their Discrete Dualities and Applications.
77-98
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/Grzymala-BusseR10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jerzy W. Grzymala-Busse
,
Wojciech Rzasa
:
A Local Version of the MLEM2 Algorithm for Rule Induction.
99-116
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/Mazurkiewicz10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Antoni W. Mazurkiewicz
:
Local Computations on Triangular Graphs.
117-140
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/SkowronSS10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Andrzej Skowron
,
Jaroslaw Stepaniuk
,
Roman W. Swiniarski
:
Approximation Spaces in Rough-Granular Computing.
141-157
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/Vakarelov10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dimiter Vakarelov
:
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations.
159-180
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/fuin/Veltink10
ask others
Google
Google Scholar
MS Academic Search
PubZone
Gerrit Jan Veltink
:
PSF - A Retrospective.
181-227