![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 100
Volume 100, Numbers 1-4, 2010
- Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich
:
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. 1-17 - Johan van Benthem, Amélie Gheerbrant:
Game Solution, Epistemic Dynamics and Fixed-Point Logics. 19-41 - Thierry Coquand, Guilhem Jaber:
A Note on Forcing and Type Theory. 43-52 - Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
A Framework for Graded Beliefs, Goals and Intentions. 53-76 - Ivo Düntsch
, Ewa Orlowska, Ingrid Rewitzky:
Structures with Multirelations, their Discrete Dualities and Applications. 77-98 - Jerzy W. Grzymala-Busse, Wojciech Rzasa
:
A Local Version of the MLEM2 Algorithm for Rule Induction. 99-116 - Antoni W. Mazurkiewicz:
Local Computations on Triangular Graphs. 117-140 - Andrzej Skowron
, Jaroslaw Stepaniuk
, Roman W. Swiniarski:
Approximation Spaces in Rough-Granular Computing. 141-157 - Dimiter Vakarelov:
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. 159-180 - Gerrit Jan Veltink:
PSF - A Retrospective. 181-227
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.