Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BorealeS98,
  author       = {Michele Boreale and
                  Davide Sangiorgi},
  title        = {Some Congruence Properties for Pi-Calculus Bisimilarities},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {159--176},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00125-4},
  doi          = {10.1016/S0304-3975(97)00125-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BorealeS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CagmanH98,
  author       = {Naim {\c{C}}agman and
                  J. Roger Hindley},
  title        = {Combinatory Weak Reduction in Lambda Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {239--247},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00250-8},
  doi          = {10.1016/S0304-3975(97)00250-8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CagmanH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Corradini98,
  author       = {Flavio Corradini},
  title        = {On the Coarsest Congruence Within Global-Clock-Bounded Equivalence},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {225--237},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00237-5},
  doi          = {10.1016/S0304-3975(97)00237-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Corradini98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Egly98,
  author       = {Uwe Egly},
  title        = {An Answer to an Open Problem of Urquhart},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {201--209},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00140-0},
  doi          = {10.1016/S0304-3975(97)00140-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Egly98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Esparza98,
  author       = {Javier Esparza},
  title        = {Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {211--224},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00235-1},
  doi          = {10.1016/S0304-3975(97)00235-1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Esparza98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Geffert98,
  author       = {Viliam Geffert},
  title        = {A Communication Hierarchy of Parallel Computations},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {99--130},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00033-9},
  doi          = {10.1016/S0304-3975(97)00033-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Geffert98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Goldblatt98,
  author       = {Robert Goldblatt},
  title        = {Enlargement of Functional Algebras for the Lambda Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {177--200},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00126-6},
  doi          = {10.1016/S0304-3975(97)00126-6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Goldblatt98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hartonas98,
  author       = {Chrysafis Hartonas},
  title        = {A Fixpoint Approach to Finite Delay and Fairness},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {131--158},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00076-5},
  doi          = {10.1016/S0304-3975(97)00076-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hartonas98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NadathurW98,
  author       = {Gopalan Nadathur and
                  Debra Sue Wilson},
  title        = {A Notation for Lambda Terms: {A} Generalization of Environments},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {49--98},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00184-9},
  doi          = {10.1016/S0304-3975(97)00184-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NadathurW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/OttoND98,
  author       = {Friedrich Otto and
                  Paliath Narendran and
                  Daniel J. Dougherty},
  title        = {Equational Unification, Word Unification, and 2nd-Order Equational
                  Unification},
  journal      = {Theor. Comput. Sci.},
  volume       = {198},
  number       = {1-2},
  pages        = {1--47},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00130-8},
  doi          = {10.1016/S0304-3975(97)00130-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/OttoND98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}