Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/Banerjee97,
  author       = {Mohua Banerjee},
  title        = {Rough Sets and 3-Valued Lukasiewicz Logic},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {213--220},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313401},
  doi          = {10.3233/FI-1997-313401},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Banerjee97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BrewkaG97,
  author       = {Gerhard Brewka and
                  Georg Gottlob},
  title        = {Well-Founded Semantics for Default Logic},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {221--236},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313402},
  doi          = {10.3233/FI-1997-313402},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BrewkaG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Burkhard97,
  author       = {Hans{-}Dieter Burkhard},
  title        = {Defining {BDI} with Abstract Languages},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {237--252},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313403},
  doi          = {10.3233/FI-1997-313403},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Burkhard97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BuszkowskiK97,
  author       = {Wojciech Buszkowski and
                  Miroslawa Kolowska{-}Gawiejnowics},
  title        = {Representation of Residuated Semigroups in Some Algebras of Relations
                  (The Method of Canonical Models)},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {1},
  pages        = {1--12},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-3111},
  doi          = {10.3233/FI-1997-3111},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BuszkowskiK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Chitil97,
  author       = {Olaf Chitil},
  title        = {The c-Semantics: {A} Comprehensive Semantics for Functional Programs},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {253--294},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313404},
  doi          = {10.3233/FI-1997-313404},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Chitil97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DenevaV97,
  author       = {Ana Deneva and
                  Dimiter Vakarelov},
  title        = {Modal Logics for Local and Global Similarity Relations},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {295--304},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313405},
  doi          = {10.3233/FI-1997-313405},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DenevaV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Esparza97,
  author       = {Javier Esparza},
  title        = {Petri Nets, Commutative Context-Free Grammars, and Basic Parallel
                  Processes},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {1},
  pages        = {13--25},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-3112},
  doi          = {10.3233/FI-1997-3112},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Esparza97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Grzymala-Busse97,
  author       = {Jerzy W. Grzymala{-}Busse},
  title        = {A New Version of the Rule Induction System {LERS}},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {1},
  pages        = {27--39},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-3113},
  doi          = {10.3233/FI-1997-3113},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Grzymala-Busse97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Koshiba97,
  author       = {Takeshi Koshiba},
  title        = {On a Hierarchy of Slender Languages Based on Control Sets},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {1},
  pages        = {41--47},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-3114},
  doi          = {10.3233/FI-1997-3114},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Koshiba97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LeeL97,
  author       = {Shie{-}Jue Lee and
                  Wei{-}Jer Lin},
  title        = {Formal Verification and Diagnosis of CombinationalCircuit Designs
                  with Propositional Logic},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {1},
  pages        = {79--105},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-3117},
  doi          = {10.3233/FI-1997-3117},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LeeL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Maggiolo-SchettiniM97,
  author       = {Andrea Maggiolo{-}Schettini and
                  Gionata Matteucci},
  title        = {Processes in Cause-Effect Systems},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {305--335},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313406},
  doi          = {10.3233/FI-1997-313406},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Maggiolo-SchettiniW97,
  author       = {Andrea Maggiolo{-}Schettini and
                  J{\'{o}}zef Winkowski},
  title        = {A Partial Order Representation of Processes of Transforming Graphs},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {337--355},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313407},
  doi          = {10.3233/FI-1997-313407},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Maggiolo-SchettiniW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Majorinc97,
  author       = {Kazimir Majorinc},
  title        = {Extension Rule for Non-Clausal Propositional Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {2},
  pages        = {107--116},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-31201},
  doi          = {10.3233/FI-1997-31201},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Majorinc97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Martin-Vide97,
  author       = {Carlos Mart{\'{\i}}n{-}Vide},
  title        = {Natural Computation for Natural Language},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {2},
  pages        = {117--124},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-31202},
  doi          = {10.3233/FI-1997-31202},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Martin-Vide97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MatskinK97,
  author       = {Mihhail Matskin and
                  Henryk Jan Komorowski},
  title        = {Partial Structural Synthesis of Programs},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {2},
  pages        = {125--144},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-31203},
  doi          = {10.3233/FI-1997-31203},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MatskinK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MichalskiI97,
  author       = {Ryszard S. Michalski and
                  Ibrahim F. Imam},
  title        = {On Learning Decision Structures},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {1},
  pages        = {49--64},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-3115},
  doi          = {10.3233/FI-1997-3115},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MichalskiI97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MontanariR97,
  author       = {Ugo Montanari and
                  Gioia Ristori},
  title        = {A Concurrent Functional Semantics for a Process Algebra Based on Action
                  Systems},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {357--377},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313408},
  doi          = {10.3233/FI-1997-313408},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MontanariR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Moshkov97,
  author       = {Mikhail Moshkov},
  title        = {Unimprovable Upper Bounds on Time Complexity of Decision Trees},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {2},
  pages        = {157--184},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-31205},
  doi          = {10.3233/FI-1997-31205},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Moshkov97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MoshkovC97,
  author       = {Mikhail Moshkov and
                  Igor Chikalov},
  title        = {Bounds on Average Weighted Depth of Decision Trees},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {2},
  pages        = {145--156},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-31204},
  doi          = {10.3233/FI-1997-31204},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MoshkovC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Paun97a,
  author       = {Andrei Paun},
  title        = {Controlled {H} Systems of Small Radius},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {2},
  pages        = {185--193},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-31206},
  doi          = {10.3233/FI-1997-31206},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Paun97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rey97,
  author       = {Jean{-}Fran{\c{c}}ois Rey},
  title        = {The Block Product of Categories and Tilson's Division},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {379--400},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313409},
  doi          = {10.3233/FI-1997-313409},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rey97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rey97a,
  author       = {Jean{-}Fran{\c{c}}ois Rey},
  title        = {The Kernel of a Relational Morphism of Categories},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {3/4},
  pages        = {401--423},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-313410},
  doi          = {10.3233/FI-1997-313410},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rey97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Romanowska97,
  author       = {Anna B. Romanowska},
  title        = {From Dissemilattices to Snack Algebras},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {1},
  pages        = {65--77},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-3116},
  doi          = {10.3233/FI-1997-3116},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Romanowska97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Skordev97,
  author       = {Dimiter Skordev},
  title        = {An Abstract Approach to Some Loop Detection Problems},
  journal      = {Fundam. Informaticae},
  volume       = {31},
  number       = {2},
  pages        = {195--212},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-31207},
  doi          = {10.3233/FI-1997-31207},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Skordev97.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.