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

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.