default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs33.bht:"
download as .bib file
@article{DBLP:journals/tcs/AptPS84,
author = {Krzysztof R. Apt and
Amir Pnueli and
Jonathan Stavi},
title = {Fair Termination Revisited-With Delay},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {65--84},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90103-8},
doi = {10.1016/0304-3975(84)90103-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AptPS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AstesianoZ84,
author = {Egidio Astesiano and
Elena Zucca},
title = {Parametric Channels via Label Expressions in {CCS}},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {45--63},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90102-6},
doi = {10.1016/0304-3975(84)90102-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AstesianoZ84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BroyWP84,
author = {Manfred Broy and
Martin Wirsing and
Claude Pair},
title = {A Systematic Study of Models of Abstract Data Types},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {139--174},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90086-0},
doi = {10.1016/0304-3975(84)90086-0},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BroyWP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dybjer84,
author = {Peter Dybjer},
title = {Some Results on the Deductive Structure of Join Dependencies},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {95--105},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90105-1},
doi = {10.1016/0304-3975(84)90105-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Dybjer84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fehr84,
author = {Elfriede Fehr},
title = {Expressive Power of Typed and Type-Free Programming Languages},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {195--238},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90088-4},
doi = {10.1016/0304-3975(84)90088-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fehr84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Girault-Beauquier84,
author = {Dani{\`{e}}le Beauquier},
title = {Bilimites de Langages Reconnaissables},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {335--342},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90095-1},
doi = {10.1016/0304-3975(84)90095-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Girault-Beauquier84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuL84,
author = {Tero Harju and
Matti Linna},
title = {The Equations h(w)=w-n in Binary Alphabets},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {327--329},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90093-8},
doi = {10.1016/0304-3975(84)90093-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Huynh84,
author = {Dung T. Huynh},
title = {Deciding the Inequivalence of Context-Free Grammars with 1-Letter
Terminal Alphabet is Sigma-p-2-Complete},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {305--326},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90092-6},
doi = {10.1016/0304-3975(84)90092-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Huynh84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JantzenK84,
author = {Matthias Jantzen and
Manfred Kudlek},
title = {Homomorphic Images of Sentential Form Languages Defined by Semi-Thue
Systems},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {13--43},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90101-4},
doi = {10.1016/0304-3975(84)90101-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JantzenK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kaplan84,
author = {St{\'{e}}phane Kaplan},
title = {Conditional Rewrite Rules},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {175--193},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90087-2},
doi = {10.1016/0304-3975(84)90087-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kaplan84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Madhavan84,
author = {C. E. Veni Madhavan},
title = {Secondary Attribute Retrieval Using Tree Data Structures},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {107--116},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90106-3},
doi = {10.1016/0304-3975(84)90106-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Madhavan84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaonY84,
author = {Yael Maon and
Amiram Yehudai},
title = {On Test Sets for Checking Morphism Equivalence on Languages with Fair
Distribution of Letters},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {239--260},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90089-6},
doi = {10.1016/0304-3975(84)90089-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MaonY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Otto84a,
author = {Friedrich Otto},
title = {Some Undecidability Results for Non-Monadic Church-Rosser Thue Systems},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {261--278},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90090-2},
doi = {10.1016/0304-3975(84)90090-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Otto84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pan84,
author = {Victor Y. Pan},
title = {The Technique of Trilinear Aggregating and the Recent Progress in
the Asymptotic Acceleration of Matrix Operations},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {117--138},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90107-5},
doi = {10.1016/0304-3975(84)90107-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pan84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PerrinS84,
author = {Dominique Perrin and
Paul E. Schupp},
title = {Sur les Monoides {\`{A}} un Relateur qui sont des Groupes},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {331--334},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90094-X},
doi = {10.1016/0304-3975(84)90094-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PerrinS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RavikumarL84,
author = {Bala Ravikumar and
K. B. Lakshmanan},
title = {Coping with Known Patterns of Lies in a Search Game},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {85--94},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90104-X},
doi = {10.1016/0304-3975(84)90104-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RavikumarL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SiromoneySD84,
author = {Rani Siromoney and
K. G. Subramanian and
V. Rajkumar Dare},
title = {Infinite Arrays and Controlled Deterministic Table 0L Array Systems},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {3--11},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90100-2},
doi = {10.1016/0304-3975(84)90100-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SiromoneySD84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Soundararajan84a,
author = {Neelam Soundararajan},
title = {Denotational Semantics of {CSP}},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {279--304},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90091-4},
doi = {10.1016/0304-3975(84)90091-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Soundararajan84a.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.
retrieved on 2024-09-24 18:04 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:
