default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 100

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 100, Numbers 1-4, 2010

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BaranyKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BaranyKR10
Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich:
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BenthemG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BenthemG10
Johan van Benthem, Amélie Gheerbrant:
Game Solution, Epistemic Dynamics and Fixed-Point Logics. 19-41
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CoquandJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CoquandJ10
Thierry Coquand, Guilhem Jaber:
A Note on Forcing and Type Theory. 43-52
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Dunin-KepliczNS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Dunin-KepliczNS10
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
A Framework for Graded Beliefs, Goals and Intentions. 53-76
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DuntschOR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DuntschOR10
Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky:
Structures with Multirelations, their Discrete Dualities and Applications. 77-98
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Grzymala-BusseR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Grzymala-BusseR10
Jerzy W. Grzymala-Busse, Wojciech Rzasa:
A Local Version of the MLEM2 Algorithm for Rule Induction. 99-116
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Mazurkiewicz10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Mazurkiewicz10
Antoni W. Mazurkiewicz:
Local Computations on Triangular Graphs. 117-140
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SkowronSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SkowronSS10
Andrzej Skowron, Jaroslaw Stepaniuk, Roman W. Swiniarski:
Approximation Spaces in Rough-Granular Computing. 141-157
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Vakarelov10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Vakarelov10
Dimiter Vakarelov:
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. 159-180
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Veltink10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Veltink10
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.