default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs258.bht:"
@article{DBLP:journals/tcs/BirkedalT01, author = {Lars Birkedal and Mads Tofte}, title = {A constraint-based region inference algorithm}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {299--392}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00025-6}, doi = {10.1016/S0304-3975(00)00025-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BirkedalT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BrassDNP01, author = {Stefan Brass and J{\"{u}}rgen Dix and Ilkka Niemel{\"{a}} and Teodor C. Przymusinski}, title = {On the equivalence of the static and disjunctive well-founded semantics and its computation}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {523--553}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00045-1}, doi = {10.1016/S0304-3975(00)00045-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BrassDNP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Breugel01, author = {Franck van Breugel}, title = {An introduction to metric semantics: operational and denotational models for programming and specification languages}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {1--98}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00403-5}, doi = {10.1016/S0304-3975(00)00403-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Breugel01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BroyS01, author = {Manfred Broy and Gheorghe Stefanescu}, title = {The algebra of stream processing functions}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {99--129}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(99)00322-9}, doi = {10.1016/S0304-3975(99)00322-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BroyS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CorradiniC01, author = {Flavio Corradini and Dino Di Cola}, title = {On testing urgency through laziness over processes with durational actions}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {393--407}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00026-8}, doi = {10.1016/S0304-3975(00)00026-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CorradiniC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Darondeau01, author = {Philippe Darondeau}, title = {On the Petri net realization of context-free graphs}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {573--598}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00162-6}, doi = {10.1016/S0304-3975(00)00162-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Darondeau01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DelzannoM01, author = {Giorgio Delzanno and Maurizio Martelli}, title = {Proofs as computations in linear logic}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {269--297}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00024-4}, doi = {10.1016/S0304-3975(00)00024-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DelzannoM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EmersonJS01, author = {E. Allen Emerson and Charanjit S. Jutla and A. Prasad Sistla}, title = {On model checking for the {\(\mathrm{\mu}\)}-calculus and its fragments}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {491--522}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00034-7}, doi = {10.1016/S0304-3975(00)00034-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EmersonJS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EngelfrietG01, author = {Joost Engelfriet and Tjalling Gelsema}, title = {Structural inclusion in the pi-calculus with replication}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {131--168}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(99)00330-8}, doi = {10.1016/S0304-3975(99)00330-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EngelfrietG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Gramlich01, author = {Bernhard Gramlich}, title = {On interreduction of semi-complete term rewriting systems}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {435--451}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00030-X}, doi = {10.1016/S0304-3975(00)00030-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Gramlich01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HainsLM01, author = {Ga{\'{e}}tan Hains and Fr{\'{e}}d{\'{e}}ric Loulergue and John Mullins}, title = {Concrete data structures and functional parallel programming}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {233--267}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00010-4}, doi = {10.1016/S0304-3975(00)00010-4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HainsLM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/JancarKM01, author = {Petr Jancar and Anton{\'{\i}}n Kucera and Richard Mayr}, title = {Deciding bisimulation-like equivalences with finite-state processes}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {409--433}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00027-X}, doi = {10.1016/S0304-3975(00)00027-X}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/JancarKM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ManoO01, author = {Ken Mano and Mizuhito Ogawa}, title = {Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {169--208}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(99)00340-0}, doi = {10.1016/S0304-3975(99)00340-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ManoO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SeynhaeveTTT01, author = {Franck Seynhaeve and Sophie Tison and Marc Tommasi and Ralf Treinen}, title = {Grid structures and undecidable constraint theories}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {453--490}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00032-3}, doi = {10.1016/S0304-3975(00)00032-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/SeynhaeveTTT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ShekharW01, author = {Shashi Shekhar and Weili Wu}, title = {Optimal placement of data replicas in distributed database with majority voting protocol}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {555--571}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00161-4}, doi = {10.1016/S0304-3975(00)00161-4}, timestamp = {Thu, 02 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ShekharW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Tzouvaras01, author = {Athanassios Tzouvaras}, title = {Objects and their lambda calculus}, journal = {Theor. Comput. Sci.}, volume = {258}, number = {1-2}, pages = {209--232}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00009-8}, doi = {10.1016/S0304-3975(00)00009-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Tzouvaras01.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.