![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/fuin/fuin100.bht:"
@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} }
![](https://dblp1.uni-trier.de/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.