Search dblp for Publications

export results for "toc:db/journals/fuin/fuin100.bht:"

 download as .bib file

@article{DBLP:journals/fuin/BaranyKR10,
  author    = {Vince B{\'{a}}r{\'{a}}ny and
               Lukasz Kaiser and
               Alexander Moshe Rabinovich},
  title     = {Expressing Cardinality Quantifiers in Monadic Second-Order Logic over
               Trees},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {1--17},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-260},
  doi       = {10.3233/FI-2010-260},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/BaranyKR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BenthemG10,
  author    = {Johan van Benthem and
               Am{\'{e}}lie Gheerbrant},
  title     = {Game Solution, Epistemic Dynamics and Fixed-Point Logics},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {19--41},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-261},
  doi       = {10.3233/FI-2010-261},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/BenthemG10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CoquandJ10,
  author    = {Thierry Coquand and
               Guilhem Jaber},
  title     = {A Note on Forcing and Type Theory},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {43--52},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-262},
  doi       = {10.3233/FI-2010-262},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/CoquandJ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Dunin-KepliczNS10,
  author    = {Barbara Dunin{-}Keplicz and
               Linh Anh Nguyen and
               Andrzej Szalas},
  title     = {A Framework for Graded Beliefs, Goals and Intentions},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {53--76},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-263},
  doi       = {10.3233/FI-2010-263},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Dunin-KepliczNS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DuntschOR10,
  author    = {Ivo D{\"{u}}ntsch and
               Ewa Orlowska and
               Ingrid Rewitzky},
  title     = {Structures with Multirelations, their Discrete Dualities and Applications},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {77--98},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-264},
  doi       = {10.3233/FI-2010-264},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/DuntschOR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Grzymala-BusseR10,
  author    = {Jerzy W. Grzymala{-}Busse and
               Wojciech Rzasa},
  title     = {A Local Version of the {MLEM2} Algorithm for Rule Induction},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {99--116},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-265},
  doi       = {10.3233/FI-2010-265},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Grzymala-BusseR10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Mazurkiewicz10,
  author    = {Antoni W. Mazurkiewicz},
  title     = {Local Computations on Triangular Graphs},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {117--140},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-266},
  doi       = {10.3233/FI-2010-266},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Mazurkiewicz10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SkowronSS10,
  author    = {Andrzej Skowron and
               Jaroslaw Stepaniuk and
               Roman W. Swiniarski},
  title     = {Approximation Spaces in Rough-Granular Computing},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {141--157},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-267},
  doi       = {10.3233/FI-2010-267},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/SkowronSS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Vakarelov10,
  author    = {Dimiter Vakarelov},
  title     = {Dynamic Mereotopology: {A} Point-free Theory of Changing Regions.
               I. Stable and unstable mereotopological relations},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {159--180},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-268},
  doi       = {10.3233/FI-2010-268},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Vakarelov10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Veltink10,
  author    = {Gerrit Jan Veltink},
  title     = {{PSF} - {A} Retrospective},
  journal   = {Fundam. Informaticae},
  volume    = {100},
  number    = {1-4},
  pages     = {181--227},
  year      = {2010},
  url       = {https://doi.org/10.3233/FI-2010-269},
  doi       = {10.3233/FI-2010-269},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Veltink10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics