Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbadiP93,
  author       = {Mart{\'{\i}}n Abadi and
                  Gordon D. Plotkin},
  title        = {A Logical View of Composition},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {1},
  pages        = {3--30},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90151-I},
  doi          = {10.1016/0304-3975(93)90151-I},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbadiP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Barr93,
  author       = {Michael Barr},
  title        = {Terminal Coalgebras in Well-Founded Set Theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {2},
  pages        = {299--315},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90076-6},
  doi          = {10.1016/0304-3975(93)90076-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Barr93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BoudolCHK93,
  author       = {G{\'{e}}rard Boudol and
                  Ilaria Castellani and
                  Matthew Hennessy and
                  Astrid Kiehn},
  title        = {Observing Localities},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {1},
  pages        = {31--61},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90152-J},
  doi          = {10.1016/0304-3975(93)90152-J},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BoudolCHK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DeganoNM93,
  author       = {Pierpaolo Degano and
                  Rocco De Nicola and
                  Ugo Montanari},
  title        = {Universal Axioms for Bisimulations},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {1},
  pages        = {63--91},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90153-K},
  doi          = {10.1016/0304-3975(93)90153-K},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DeganoNM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DeselE93,
  author       = {J{\"{o}}rg Desel and
                  Javier Esparza},
  title        = {Reachability in Cyclic Extended Free-Choice Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {1},
  pages        = {93--118},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90154-L},
  doi          = {10.1016/0304-3975(93)90154-L},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DeselE93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DesharnaisJMBM93,
  author       = {Jules Desharnais and
                  Ali Jaoua and
                  Fatma Mili and
                  Noureddine Boudriga and
                  Ali Mili},
  title        = {A Relation Division Operator: The Conjugate Kernel},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {2},
  pages        = {247--272},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90074-4},
  doi          = {10.1016/0304-3975(93)90074-4},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DesharnaisJMBM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dougherty93,
  author       = {Daniel J. Dougherty},
  title        = {Higher-Order Unification via Combinators},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {2},
  pages        = {273--298},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90075-5},
  doi          = {10.1016/0304-3975(93)90075-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dougherty93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EiterG93,
  author       = {Thomas Eiter and
                  Georg Gottlob},
  title        = {Propositional Circumscription and Extended Closed-World Reasoning
                  are IIp2-Complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {2},
  pages        = {231--245},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90073-3},
  doi          = {10.1016/0304-3975(93)90073-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EiterG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Elvang-GoranssonO93,
  author       = {Morten Elvang{-}G{\o}ransson and
                  Olaf Owe},
  title        = {A Simple Sequent Calculus for Partial Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {2},
  pages        = {317--330},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90077-7},
  doi          = {10.1016/0304-3975(93)90077-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Elvang-GoranssonO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Larsen93,
  author       = {Kim Guldstrand Larsen},
  title        = {The Expressive Power of Implicit Specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {1},
  pages        = {119--147},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90155-M},
  doi          = {10.1016/0304-3975(93)90155-M},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Larsen93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MilnerPW93,
  author       = {Robin Milner and
                  Joachim Parrow and
                  David Walker},
  title        = {Modal Logics for Mobile Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {1},
  pages        = {149--171},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90156-N},
  doi          = {10.1016/0304-3975(93)90156-N},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MilnerPW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vickers93,
  author       = {Steven Vickers},
  title        = {Information Systems for Continuous Posets},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {2},
  pages        = {201--229},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90072-2},
  doi          = {10.1016/0304-3975(93)90072-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Vickers93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vogler93,
  author       = {Walter Vogler},
  title        = {Bisimulation and Action Refinement},
  journal      = {Theor. Comput. Sci.},
  volume       = {114},
  number       = {1},
  pages        = {173--200},
  year         = {1993},
  url          = {https://doi.org/10.1016/0304-3975(93)90157-O},
  doi          = {10.1016/0304-3975(93)90157-O},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Vogler93.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.