Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BockmayrKW95,
  author       = {Alexander Bockmayr and
                  Stefan Krischer and
                  Andreas Werner},
  title        = {Narrowing Strategies for Arbitrary Canonical Rewrite Systems},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {125--155},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24126},
  doi          = {10.3233/FI-1995-24126},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BockmayrKW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BonacinaH95,
  author       = {Maria Paola Bonacina and
                  Jieh Hsiang},
  title        = {The Clause-Diffusion Methodology for Distributed Deduction},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {177--207},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24128},
  doi          = {10.3233/FI-1995-24128},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BonacinaH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Felea95,
  author       = {Victor Felea},
  title        = {On the Family of Conditional Implicational Dependencies},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {3},
  pages        = {303--312},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2435},
  doi          = {10.3233/FI-1995-2435},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Felea95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GabarroS95,
  author       = {Joaquim Gabarr{\'{o}} and
                  Maria J. Serna},
  title        = {Rational Processes and Linear Systems in {CSP}},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {3},
  pages        = {283--302},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2434},
  doi          = {10.3233/FI-1995-2434},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GabarroS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gasquet95,
  author       = {Olivier Gasquet},
  title        = {A New Incompleteness Result in Kripke Semantics},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {4},
  pages        = {407--415},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2445},
  doi          = {10.3233/FI-1995-2445},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gasquet95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GilleronT95,
  author       = {R{\'{e}}mi Gilleron and
                  Sophie Tison},
  title        = {Regular Tree Languages and Rewrite Systems},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {157--174},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24127},
  doi          = {10.3233/FI-1995-24127},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GilleronT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gramlich95,
  author       = {Bernhard Gramlich},
  title        = {Abstract Relations between Restricted Termination and Confluence Properties
                  of Rewrite Systems},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {2--23},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24121},
  doi          = {10.3233/FI-1995-24121},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gramlich95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Heckmann95,
  author       = {Reinhold Heckmann},
  title        = {Lower Bag Domains},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {3},
  pages        = {259--281},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2433},
  doi          = {10.3233/FI-1995-2433},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Heckmann95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Jacobs95,
  author       = {Bart Jacobs},
  title        = {Parameters and Parametrization in Specification, Using Distributive
                  Categories},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {3},
  pages        = {209--250},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2431},
  doi          = {10.3233/FI-1995-2431},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Jacobs95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KuttyMMRD95,
  author       = {George Kutty and
                  Louise E. Moser and
                  P. M. Melliar{-}Smith and
                  Y. S. Ramakrishna and
                  Laura K. Dillon},
  title        = {Axiomatizations of Interval Logics},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {4},
  pages        = {313--331},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2441},
  doi          = {10.3233/FI-1995-2441},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KuttyMMRD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Magott95,
  author       = {Jan Magott},
  title        = {Performance Evaluation of Systems Defined in Specification Language},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {4},
  pages        = {333--357},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2442},
  doi          = {10.3233/FI-1995-2442},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Magott95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Martin95,
  author       = {Ursula Martin},
  title        = {On the Diversity of Orderings on Strings},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {25--46},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24122},
  doi          = {10.3233/FI-1995-24122},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Martin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mitrana95,
  author       = {Victor Mitrana},
  title        = {Similarity in Grammar Systems},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {3},
  pages        = {251--257},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2432},
  doi          = {10.3233/FI-1995-2432},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mitrana95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Ramakrishna95,
  author       = {Y. S. Ramakrishna},
  title        = {On the Satisfiability Problem for Lamport's Propositional Temporal
                  Logic of Actions and Some of Its Extensions},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {4},
  pages        = {387--405},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-2444},
  doi          = {10.3233/FI-1995-2444},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Ramakrishna95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Steinbach95,
  author       = {Joachim Steinbach},
  title        = {Simplification Orderings: Histrory of Results},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {47--87},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24123},
  doi          = {10.3233/FI-1995-24123},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Steinbach95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Zantema95,
  author       = {Hans Zantema},
  title        = {Termination of Term Rewriting by Semantic Labelling},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {89--105},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24124},
  doi          = {10.3233/FI-1995-24124},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Zantema95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Zhang95,
  author       = {Hantao Zhang},
  title        = {Contextual Rewriting in Automated Reasoning},
  journal      = {Fundam. Informaticae},
  volume       = {24},
  number       = {1/2},
  pages        = {107--123},
  year         = {1995},
  url          = {https://doi.org/10.3233/FI-1995-24125},
  doi          = {10.3233/FI-1995-24125},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/Zhang95.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.