default search action
Search dblp for Publications
export results for "toc:db/journals/fuin/fuin17.bht:"
@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} }
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.