Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AriolaK96,
  author       = {Zena M. Ariola and
                  Jan Willem Klop},
  title        = {Equational Term Graph Rewriting},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {207--240},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263401},
  doi          = {10.3233/FI-1996-263401},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AriolaK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Bakel96,
  author       = {Steffen van Bakel},
  title        = {Rank 2 Intersection Type Assignment in Term Rewriting Systems},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {2},
  pages        = {141--166},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-26204},
  doi          = {10.3233/FI-1996-26204},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Bakel96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Biswas96,
  author       = {Ranjit Biswas},
  title        = {On i-v Fuzzy Subgroups},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {1},
  pages        = {1--9},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-2611},
  doi          = {10.3233/FI-1996-2611},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Biswas96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Boldi96,
  author       = {Paolo Boldi},
  title        = {Maximal Chains and Antichains in Strongly Noetherian Semiorders},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {1},
  pages        = {59--80},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-2615},
  doi          = {10.3233/FI-1996-2615},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Boldi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CorradiniMR96,
  author       = {Andrea Corradini and
                  Ugo Montanari and
                  Francesca Rossi},
  title        = {Graph Processes},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {241--265},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263402},
  doi          = {10.3233/FI-1996-263402},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/CorradiniMR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Drewes96,
  author       = {Frank Drewes},
  title        = {A Lower Bound on the Growth of Functions Computed by Tree Transducers},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {267--285},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263403},
  doi          = {10.3233/FI-1996-263403},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Drewes96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Fokkink96,
  author       = {Wan J. Fokkink},
  title        = {A Complete Axiomatization for Prefix Iteration in Branching Bisimulation},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {2},
  pages        = {103--113},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-26201},
  doi          = {10.3233/FI-1996-26201},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Fokkink96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Fu96,
  author       = {Yuxi Fu},
  title        = {Recursive Models of General Inductive Types},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {2},
  pages        = {115--131},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-26202},
  doi          = {10.3233/FI-1996-26202},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Fu96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HabelHT96,
  author       = {Annegret Habel and
                  Reiko Heckel and
                  Gabriele Taentzer},
  title        = {Graph Grammars with Negative Application Conditions},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {287--313},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263404},
  doi          = {10.3233/FI-1996-263404},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HabelHT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Hirshfeld96,
  author       = {Yoram Hirshfeld},
  title        = {Undecidability of Language Equivalence for Generalized Regular Expressions},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {1},
  pages        = {95--102},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-2617},
  doi          = {10.3233/FI-1996-2617},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Hirshfeld96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JanssensM96,
  author       = {Dirk Janssens and
                  Tom Mens},
  title        = {Abstract Semantics for {ESM} Systems},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {315--339},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263405},
  doi          = {10.3233/FI-1996-263405},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JanssensM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Knijnenburg96,
  author       = {Peter M. W. Knijnenburg},
  title        = {A Note on the Smyth Powerdomain Construction},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {2},
  pages        = {133--139},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-26203},
  doi          = {10.3233/FI-1996-26203},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Knijnenburg96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Konikowska96,
  author       = {Beata Konikowska},
  title        = {McCarthy Algebras: {A} Model of McCarthy's Logical Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {2},
  pages        = {167--203},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-26205},
  doi          = {10.3233/FI-1996-26205},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Konikowska96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MenezesC96,
  author       = {Paulo Blauth Menezes and
                  Jos{\'{e}} F{\'{e}}lix Costa},
  title        = {Synchronization in Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {1},
  pages        = {11--22},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-2612},
  doi          = {10.3233/FI-1996-2612},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MenezesC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mosbah96,
  author       = {Mohamed Mosbah},
  title        = {Probabilistic Graph Grammars},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {341--362},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263406},
  doi          = {10.3233/FI-1996-263406},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mosbah96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Rishe96,
  author       = {Naphtali Rishe},
  title        = {A Universal Model for Non-Procedural Database Languages},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {1},
  pages        = {31--57},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-2614},
  doi          = {10.3233/FI-1996-2614},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Rishe96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Schurr96,
  author       = {Andy Sch{\"{u}}rr},
  title        = {Logic Based Programmed Structure Rewriting Systems},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {363--385},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263407},
  doi          = {10.3233/FI-1996-263407},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Schurr96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SpilkerW96,
  author       = {Heike Spilker and
                  Dietmar W{\"{a}}tjen},
  title        = {Some Undecidability Results Concerning k-limited 0L Systems},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {1},
  pages        = {23--30},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-2613},
  doi          = {10.3233/FI-1996-2613},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SpilkerW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Szalas96,
  author       = {Andrzej Szalas},
  title        = {On Natural Deduction in First-Ortder Fixpoint Logics},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {1},
  pages        = {81--94},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-2616},
  doi          = {10.3233/FI-1996-2616},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/Szalas96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Taentzer96,
  author       = {Gabriele Taentzer},
  title        = {Towards Synchronous and Asynchronous Graph Transformations},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {387--406},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263408},
  doi          = {10.3233/FI-1996-263408},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Taentzer96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WagnerG96,
  author       = {Annika Wagner and
                  Martin Gogolla},
  title        = {Defining Operational Behavior of Object Specifications by Attributed
                  Graph Transformations},
  journal      = {Fundam. Informaticae},
  volume       = {26},
  number       = {3/4},
  pages        = {407--431},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-263409},
  doi          = {10.3233/FI-1996-263409},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WagnerG96.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.