default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs32.bht:"
download as .bib file
@article{DBLP:journals/tcs/AstesianoC84,
author = {Egidio Astesiano and
Gerardo Costa},
title = {Distributive Semantics for Nondeterministic Typed lambda-Calculi},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {121--156},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90027-6},
doi = {10.1016/0304-3975(84)90027-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AstesianoC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AvenhausM84,
author = {J{\"{u}}rgen Avenhaus and
Klaus Madlener},
title = {The Nielsen Reduction and P-Complete Problems in Free Groups},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {61--76},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90024-0},
doi = {10.1016/0304-3975(84)90024-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AvenhausM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AvenhausM84a,
author = {J{\"{u}}rgen Avenhaus and
Klaus Madlener},
title = {On the Complexity of Intersection and Conjugacy Problems in Free Groups},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {279--295},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90046-X},
doi = {10.1016/0304-3975(84)90046-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AvenhausM84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bruijn84,
author = {N. G. de Bruijn},
title = {Some Machines Defined bu Directed Graphs},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {309--319},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90048-3},
doi = {10.1016/0304-3975(84)90048-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bruijn84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChinKL84,
author = {Francis Y. L. Chin and
Peter Kossowski and
S. C. Loh},
title = {Efficient Inference Control for Range {SUM} Queries},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {77--86},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90025-2},
doi = {10.1016/0304-3975(84)90025-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChinKL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CulikY84,
author = {Karel Cul{\'{\i}}k II and
Sheng Yu},
title = {Iterative Tree Automata},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {227--247},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90043-4},
doi = {10.1016/0304-3975(84)90043-4},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CulikY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DuskeP84,
author = {J{\"{u}}rgen Duske and
Rainer Parchmann},
title = {Linear Indexed Languages},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {47--60},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90023-9},
doi = {10.1016/0304-3975(84)90023-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DuskeP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FrancezLP84,
author = {Nissim Francez and
Daniel Lehmann and
Amir Pnueli},
title = {A Linear-History Semantics for Languages for Distributed Programming},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {25--46},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90022-7},
doi = {10.1016/0304-3975(84)90022-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FrancezLP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hall84,
author = {Thomas Eric Hall},
title = {Biprefix Codes, Inverse Semigroups and Syntactic Monoids of Injective
Automata},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {201--213},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90031-8},
doi = {10.1016/0304-3975(84)90031-8},
timestamp = {Sun, 28 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Hall84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hong84,
author = {Jia{-}Wei Hong},
title = {A Tradeoff Theorem for Space and Reversal},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {221--224},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90033-1},
doi = {10.1016/0304-3975(84)90033-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hong84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JacobR84,
author = {G{\'{e}}rard Jacob and
Christophe Reutenauer},
title = {On Formal Power Series Defined by Infinite Linear Systems},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {339--340},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90051-3},
doi = {10.1016/0304-3975(84)90051-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JacobR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KetonenW84,
author = {Jussi Ketonen and
Richard W. Weyhrauch},
title = {A Decidable Fragment of Predicate Calculus},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {297--307},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90047-1},
doi = {10.1016/0304-3975(84)90047-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KetonenW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaierU84,
author = {David Maier and
Jeffrey D. Ullman},
title = {Connections in Acyclic Hypergraphs},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {185--199},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90030-6},
doi = {10.1016/0304-3975(84)90030-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MaierU84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/McAloon84,
author = {Ken McAloon},
title = {Petri Nets and Large Finite Sets},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {173--183},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90029-X},
doi = {10.1016/0304-3975(84)90029-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/McAloon84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Meshulam84,
author = {Roy Meshulam},
title = {A Geometric Construction of a Superconcentrator of Depth 2},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {215--219},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90032-X},
doi = {10.1016/0304-3975(84)90032-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Meshulam84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiyanoH84,
author = {Satoru Miyano and
Takeshi Hayashi},
title = {Alternating Finite Automata on omega-Words},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {321--330},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90049-5},
doi = {10.1016/0304-3975(84)90049-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiyanoH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Niemi84,
author = {Valtteri Niemi},
title = {The Undecidability of Form Equivalence for Context-Free and {E0L}
Forms},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {261--277},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90045-8},
doi = {10.1016/0304-3975(84)90045-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Niemi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Otto84,
author = {Friedrich Otto},
title = {Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger
Group},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {249--260},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90044-6},
doi = {10.1016/0304-3975(84)90044-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Otto84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Raoult84,
author = {Jean{-}Claude Raoult},
title = {On Graph Rewritings},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {1--24},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90021-5},
doi = {10.1016/0304-3975(84)90021-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Raoult84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staiger84,
author = {Ludwig Staiger},
title = {Projection Lemmas for omega-Languages},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {331--337},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90050-1},
doi = {10.1016/0304-3975(84)90050-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Staiger84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tomita84,
author = {Etsuji Tomita},
title = {An Extended Direct Branching Algorithm for Checking Equivalence of
Deterministic Pushdown Automata},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {87--120},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90026-4},
doi = {10.1016/0304-3975(84)90026-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tomita84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Vishkin84,
author = {Uzi Vishkin},
title = {A Parallel-Design Distributed-Implementation {(PDDI)} General-Purpose
Computer},
journal = {Theor. Comput. Sci.},
volume = {32},
pages = {157--172},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90028-8},
doi = {10.1016/0304-3975(84)90028-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Vishkin84.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-19 11:24 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:
