default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
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.
last updated on 2025-12-14 23:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
