Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/Biskup91,
  author       = {Joachim Biskup},
  title        = {Relationship chase procedures interpreted as resolution with paramodulation},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {2},
  pages        = {123--138},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Biskup91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DuboisLP91,
  author       = {Didier Dubois and
                  J{\'{e}}r{\^{o}}me Lang and
                  Henri Prade},
  title        = {Timed possibilistic logic},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {211--234},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DuboisLP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FaberM91,
  author       = {Y. Faber and
                  Jan Mycielski},
  title        = {Application of learning theorems},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {2},
  pages        = {145--167},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FaberM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Fitting91,
  author       = {Melvin Fitting},
  title        = {Many-valued modal logics},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {235--254},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Fitting91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gao91,
  author       = {Tiejun Gao},
  title        = {An analytic semantics of {CSP}},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {2},
  pages        = {107--122},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gao91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HabelKP91,
  author       = {Annegret Habel and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Detlef Plump},
  title        = {Jungle evaluation},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {37--60},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HabelKP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Hirshfeld91,
  author       = {Yoram Hirshfeld},
  title        = {Deterministic concurrent systems},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {13--36},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Hirshfeld91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HortyT91,
  author       = {John F. Horty and
                  Richmond H. Thomason},
  title        = {Conditionals and artificial intelligence},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {301--323},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HortyT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Hromkovic91,
  author       = {Juraj Hromkovic},
  title        = {On the power of two-dimensional synchronized alternating finite automata},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {90--98},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Hromkovic91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HuynhJLL91,
  author       = {Tien Huynh and
                  Leo Joskowicz and
                  Catherine Lassez and
                  Jean{-}Louis Lassez},
  title        = {Practical tools for reasoning about linear constraints},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {357--380},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HuynhJLL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Intrigila91,
  author       = {Benedetto Intrigila},
  title        = {A problem on easy terms in Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {99--106},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Intrigila91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Konolige91,
  author       = {Kurt Konolige},
  title        = {Quantification in autoepistemic logic},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {275--300},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Konolige91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KrausPH91,
  author       = {Sarit Kraus and
                  Donald Perlis and
                  John F. Horty},
  title        = {Reasoning about ignorance: a note on the Bush-Gorbachev problem},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {325--332},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KrausPH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MaidaWC91,
  author       = {Anthony S. Maida and
                  Jacques Wainer and
                  Sehyeong Cho},
  title        = {A syntactic approach to introspection and reasoning about the beliefs
                  of other agents},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {333--356},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MaidaWC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Makinen91a,
  author       = {Erkki M{\"{a}}kinen},
  title        = {On pure context-free language and left szilard languages},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {86--89},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Makinen91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mycielski91,
  author       = {Jan Mycielski and
                  Damian Niwinski},
  title        = {Cellular automata on tress, a model for parallel computation},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {2},
  pages        = {139--144},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mycielski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Parikh91,
  author       = {Rohit Parikh},
  title        = {Monotonic and non-monotonic logics of knowledge},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {255--274},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Parikh91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Ras91,
  author       = {Zbigniew W. Ras},
  title        = {Query processing in distributed information systems},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {3-4},
  pages        = {381--397},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Ras91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rauszer91,
  author       = {Cecylia Rauszer},
  title        = {Reducts in information systems},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {1--12},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rauszer91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rauszer91a,
  author       = {Cecylia Rauszer},
  title        = {Algebraic considerations of autoepistemic logic},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {2},
  pages        = {168--179},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rauszer91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rodenburg91,
  author       = {Pieter Hendrik Rodenburg},
  title        = {Interpolation in conditional equational logic},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {80--85},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rodenburg91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SkowronS91,
  author       = {Andrzej Skowron and
                  Jaroslaw Stepaniuk},
  title        = {Towards an approximation theory of discrete problems, Part {I}},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {2},
  pages        = {187--207},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SkowronS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Vakarelov91,
  author       = {Dimiter Vakarelov},
  title        = {A model logic for similarity relations in pawlak knowledge representation
                  systems},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {1},
  pages        = {61--79},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Vakarelov91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Wiweger91,
  author       = {Antoni Wiweger},
  title        = {A functionalization of logical kits},
  journal      = {Fundam. Informaticae},
  volume       = {15},
  number       = {2},
  pages        = {180--186},
  year         = {1991},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Wiweger91.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.