Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/Boldini00,
  author       = {Pascal Boldini},
  title        = {Formalizing Context in Intuitionistic Type Theory},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {2},
  pages        = {105--127},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42201},
  doi          = {10.3233/FI-2000-42201},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Boldini00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Demri00,
  author       = {St{\'{e}}phane Demri},
  title        = {The Nondeterministic Information Logic {NIL} is PSPACE-complete},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {3-4},
  pages        = {211--234},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-423401},
  doi          = {10.3233/FI-2000-423401},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Demri00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DenejkoDPP00,
  author       = {Piotr Denejko and
                  Krzysztof Diks and
                  Andrzej Pelc and
                  Marek Piotr{\'{o}}w},
  title        = {Reliable Minimum Finding Comparator Networks},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {3-4},
  pages        = {235--249},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-423402},
  doi          = {10.3233/FI-2000-423402},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DenejkoDPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/EngelKM00,
  author       = {Marcin Engel and
                  Artur Kret and
                  Janina Mincer{-}Daszkiewicz},
  title        = {Towards Automated Consistency Checking of Module Interface Specifications},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {3-4},
  pages        = {251--278},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-423403},
  doi          = {10.3233/FI-2000-423403},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EngelKM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Inkielman00,
  author       = {Marcin Inkielman},
  title        = {A Method for Hierarchical Description of Images Using Multiscale Analysis},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {2},
  pages        = {129--148},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42202},
  doi          = {10.3233/FI-2000-42202},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Inkielman00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/InuiguchiT00,
  author       = {Masahiro Inuiguchi and
                  Tetsuzo Tanino},
  title        = {Necessity Measures and Parametric Inclusion Relations of Fuzzy Sets},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {3-4},
  pages        = {279--302},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-423404},
  doi          = {10.3233/FI-2000-423404},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/InuiguchiT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KaminskiR00,
  author       = {Michael Kaminski and
                  Guy Rey},
  title        = {First-order Non-monotonic Modal Logics},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {3-4},
  pages        = {303--333},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-423405},
  doi          = {10.3233/FI-2000-423405},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KaminskiR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KohnS00,
  author       = {Markus Kohn and
                  Hartmut Schmeck},
  title        = {Formal Asynchronous Systems Modelling},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {3-4},
  pages        = {335--389},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-423406},
  doi          = {10.3233/FI-2000-423406},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KohnS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MacCaull00,
  author       = {Wendy MacCaull},
  title        = {A Proof System for Dependencies for Information Relations},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {1},
  pages        = {1--27},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42101},
  doi          = {10.3233/FI-2000-42101},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MacCaull00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Nguyen00,
  author       = {Linh Anh Nguyen},
  title        = {Constructing the Least Models for Positive Modal Logic Programs},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {1},
  pages        = {29--60},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42102},
  doi          = {10.3233/FI-2000-42102},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Nguyen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PazGS00,
  author       = {Azaria Paz and
                  Robert Y. Geva and
                  Milan Studen{\'{y}}},
  title        = {Representation of Irrelevance Relations by Annotated Graphs},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {2},
  pages        = {149--199},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42203},
  doi          = {10.3233/FI-2000-42203},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PazGS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rabinovich00,
  author       = {Alexander Moshe Rabinovich},
  title        = {Succinctness Gap between Monadic Logic and Duration Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {2},
  pages        = {201--210},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42204},
  doi          = {10.3233/FI-2000-42204},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rabinovich00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SchlechtaGMRT00,
  author       = {Karl Schlechta and
                  Laurent Gourmelen and
                  St{\'{e}}phanie Motr{\'{e}} and
                  Olivier Rolland and
                  Bensalah Tahar},
  title        = {A New Approach to Preferential Structures},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {3-4},
  pages        = {391--410},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-423407},
  doi          = {10.3233/FI-2000-423407},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SchlechtaGMRT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WangDB00,
  author       = {Yongge Wang and
                  Yvo Desmedt and
                  Mike Burmester},
  title        = {Models For Dependable Computation with Multiple Inputs and Some Hardness
                  Results},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {1},
  pages        = {61--73},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42103},
  doi          = {10.3233/FI-2000-42103},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/WangDB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Winkowski00,
  author       = {J{\'{o}}zef Winkowski},
  title        = {An Algebra of Data Flows},
  journal      = {Fundam. Informaticae},
  volume       = {42},
  number       = {1},
  pages        = {75--104},
  year         = {2000},
  url          = {https://doi.org/10.3233/FI-2000-42104},
  doi          = {10.3233/FI-2000-42104},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Winkowski00.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.