Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs258.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-08-13 15:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
