Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/Aceto92,
  author       = {Luca Aceto},
  title        = {History preserving, causal and mixed-ordering equivalence over stable
                  event structures},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {4},
  pages        = {319--331},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Aceto92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Aceto92a,
  author       = {Luca Aceto},
  title        = {Relating distributed, temporal and causal observations of simple processes},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {4},
  pages        = {369--397},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Aceto92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AkdagGP92,
  author       = {Herman Akdag and
                  Michel De Glas and
                  Daniel Pacholczyk},
  title        = {A qualitative theory of uncertainty},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {4},
  pages        = {333--362},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AkdagGP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Benthem92,
  author       = {Johan van Benthem},
  title        = {Logic as programming},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {4},
  pages        = {285--317},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Benthem92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Boutilier92,
  author       = {Craig Boutilier},
  title        = {Epistemic Entrenchment in autoepistemic logic},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {1-2},
  pages        = {5--29},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Boutilier92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EiterG92,
  author       = {Thomas Eiter and
                  Georg Gottlob},
  title        = {Reasoning with parsimonious and moderately grounded expansions},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {1-2},
  pages        = {31--53},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EiterG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Fitting92,
  author       = {Melvin Fitting},
  title        = {Many-Valued Model Logics {II}},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {1-2},
  pages        = {55--73},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Fitting92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GoldV92,
  author       = {Robert Gold and
                  Walter Vogler},
  title        = {Quality criteria for partial order semantics of place/transition-nets
                  with capacities},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {3},
  pages        = {187--209},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GoldV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HuynhT92,
  author       = {Dung T. Huynh and
                  Lu Tian},
  title        = {On some equivalence relations for probabilistic processes},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {3},
  pages        = {211--234},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HuynhT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Lakemeyer92,
  author       = {Gerhard Lakemeyer},
  title        = {On perfect introspection with Quantifying-in},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {1-2},
  pages        = {75--98},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Lakemeyer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Madry92,
  author       = {Malgorzata Madry},
  title        = {- Representability of integer, word and tree functions},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {3},
  pages        = {253--270},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Madry92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Makinen92a,
  author       = {Erkki M{\"{a}}kinen},
  title        = {On Grammatical inference and derivational complexity of context grammars},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {4},
  pages        = {363--368},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Makinen92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekT92,
  author       = {V. Wiktor Marek and
                  Miroslaw Truszczynski},
  title        = {More on modal aspects of default logic},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {1-2},
  pages        = {99--116},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarekT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Niemela92,
  author       = {Ilkka Niemel{\"{a}}},
  title        = {On the decidability and complexity of autoepistemic reasoning},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {1-2},
  pages        = {117--155},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Niemela92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RamakrishnaMDMK92,
  author       = {Y. S. Ramakrishna and
                  Louise E. Moser and
                  Laura K. Dillon and
                  P. M. Melliar{-}Smith and
                  George Kutty},
  title        = {An automata-theoretic decision procedure for propositional temporal
                  logic with since and until},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {3},
  pages        = {271--282},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RamakrishnaMDMK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Rauszer92a,
  author       = {Cecylia Rauszer},
  title        = {Algebraic considerations of autoepistemic logic},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {3},
  pages        = {175--186},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rauszer92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Schwarz92,
  author       = {Grigori Schwarz},
  title        = {Reflexive Autoepistemic logic},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {1-2},
  pages        = {157--173},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Schwarz92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Velauthapillai92,
  author       = {Mahendran Velauthapillai},
  title        = {Approximate learning with multiple machines},
  journal      = {Fundam. Informaticae},
  volume       = {17},
  number       = {3},
  pages        = {235--251},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Velauthapillai92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics