Search dblp for Publications

export results for "toc:db/journals/tcs/tcs152.bht:"

 download as .bib file

@article{DBLP:journals/tcs/AcetoJ95,
  author       = {Luca Aceto and
                  Alan Jeffrey},
  title        = {A Complete Axiomatization of Timed Bisimulation for a Class of Timed
                  Regular Behaviours},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {2},
  pages        = {251--268},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00285-9},
  doi          = {10.1016/0304-3975(94)00285-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AcetoJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AstesianoC95,
  author       = {Egidio Astesiano and
                  Maura Cerioli},
  title        = {Free Objects and Equational Deduction for Partial Conditional Specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {1},
  pages        = {91--138},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00246-5},
  doi          = {10.1016/0304-3975(95)00246-5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AstesianoC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Banach95,
  author       = {Richard Banach},
  title        = {Locating the Contractum in the Double Pushout Approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {2},
  pages        = {305--320},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00301-4},
  doi          = {10.1016/0304-3975(94)00301-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Banach95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BenvenisteLFG95,
  author       = {Albert Benveniste and
                  Bernard C. Levy and
                  Eric Fabre and
                  Paul {Le Guernic}},
  title        = {A Calculus of Stochastic Systems for the Specification, Simulation,
                  and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {2},
  pages        = {171--217},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00295-1},
  doi          = {10.1016/0304-3975(94)00295-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BenvenisteLFG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Fredholm95,
  author       = {Daniel Fredholm},
  title        = {Intensional Aspects of Function Definitions},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {1},
  pages        = {1--66},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00268-9},
  doi          = {10.1016/0304-3975(94)00268-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fredholm95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hodges95,
  author       = {Wilfried Hodges},
  title        = {The Meaning of Specifications {I:} Domains and Initial Models},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {1},
  pages        = {67--89},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)00245-3},
  doi          = {10.1016/0304-3975(95)00245-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hodges95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/InverardiN95a,
  author       = {Paola Inverardi and
                  Monica Nesi},
  title        = {Infinite Normal Forms for Non-Linear Term Rewritting Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {2},
  pages        = {285--303},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00244-6},
  doi          = {10.1016/0304-3975(94)00244-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/InverardiN95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KuriharaO95,
  author       = {Masahito Kurihara and
                  Azuma Ohuchi},
  title        = {Modularity in Noncopying Term Rewriting},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {1},
  pages        = {139--169},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00248-3},
  doi          = {10.1016/0304-3975(94)00248-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KuriharaO95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Seidel95,
  author       = {Karen Seidel},
  title        = {Probabilistic Communicating Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {2},
  pages        = {219--249},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00286-0},
  doi          = {10.1016/0304-3975(94)00286-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Seidel95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Verma95,
  author       = {Rakesh M. Verma},
  title        = {Transformations and Confluence for Rewrite Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {152},
  number       = {2},
  pages        = {269--283},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00255-0},
  doi          = {10.1016/0304-3975(94)00255-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Verma95.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.