Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/Ait-Kaci86,
  author       = {Hassan A{\"{\i}}t{-}Kaci},
  title        = {An Algebraic Semantics Approach to the Effective Resolution of Type
                  Equations},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {3},
  pages        = {293--351},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90047-2},
  doi          = {10.1016/0304-3975(86)90047-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ait-Kaci86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Broy86,
  author       = {Manfred Broy},
  title        = {A Theory for Nondeterminism, Parallelism, Communication, and Concurrency},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {1},
  pages        = {1--61},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90040-X},
  doi          = {10.1016/0304-3975(86)90040-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Broy86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Crochemore86,
  author       = {Maxime Crochemore},
  title        = {Transducers and Repetitions},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {1},
  pages        = {63--86},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90041-1},
  doi          = {10.1016/0304-3975(86)90041-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Crochemore86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dezani-CiancagliniM86,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Ines Margaria},
  title        = {A Characterization of F-Complete Type Assignments},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {2},
  pages        = {121--157},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90043-5},
  doi          = {10.1016/0304-3975(86)90043-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Girard86,
  author       = {Jean{-}Yves Girard},
  title        = {The System {F} of Variable Types, Fifteen Years Later},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {2},
  pages        = {159--192},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90044-7},
  doi          = {10.1016/0304-3975(86)90044-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Girard86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GonczarowskiW86,
  author       = {Jakob Gonczarowski and
                  Manfred K. Warmuth},
  title        = {Manipulating Derivation Forests by Scheduling Techniques},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {1},
  pages        = {87--119},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90042-3},
  doi          = {10.1016/0304-3975(86)90042-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GonczarowskiW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HuberJJJ86,
  author       = {Peter Huber and
                  Arne M. Jensen and
                  Leif O. Jepsen and
                  Kurt Jensen},
  title        = {Reachability Trees for High-level Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {3},
  pages        = {261--292},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90046-0},
  doi          = {10.1016/0304-3975(86)90046-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HuberJJJ86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Meyer86,
  author       = {John{-}Jules Ch. Meyer},
  title        = {Merging Regular Processes by Means of Fixed-Point Theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {45},
  number       = {2},
  pages        = {193--260},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90045-9},
  doi          = {10.1016/0304-3975(86)90045-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Meyer86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}