default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs114.bht:"
@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} }
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.