default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs34.bht:"
download as .bib file
@article{DBLP:journals/tcs/BakkerBKM84,
author = {J. W. de Bakker and
Jan A. Bergstra and
Jan Willem Klop and
John{-}Jules Ch. Meyer},
title = {Linear Time and Branching Time Semantics for Recursion with Merge},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {135--156},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90114-2},
doi = {10.1016/0304-3975(84)90114-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakkerBKM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BancilhonR84,
author = {Fran{\c{c}}ois Bancilhon and
Philippe Richard},
title = {A Sound and Complete Axiomatization of Embedded Cross Dependencies},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {343--350},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90059-8},
doi = {10.1016/0304-3975(84)90059-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BancilhonR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ClerboutL84,
author = {Mireille Clerbout and
Michel Latteux},
title = {Partial Commutations and Faithful Rational Transductions},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {241--254},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90053-7},
doi = {10.1016/0304-3975(84)90053-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ClerboutL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CohenLP84,
author = {Shimon Cohen and
Daniel Lehmann and
Amir Pnueli},
title = {Symmetric and Economical Solutions to the Mutual Exclusion Problem
in a Distributed System},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {215--225},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90118-X},
doi = {10.1016/0304-3975(84)90118-X},
timestamp = {Fri, 23 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CohenLP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DelestV84,
author = {Marie{-}Pierre Delest and
G{\'{e}}rard Viennot},
title = {Algebraic Languages and Polyominoes Enumeration},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {169--206},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90116-6},
doi = {10.1016/0304-3975(84)90116-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DelestV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GogollaDLE84,
author = {Martin Gogolla and
Klaus Drosten and
Udo W. Lipeck and
Hans{-}Dieter Ehrich},
title = {Algebraic and Operational Semantics of Specifications Allowing Exceptions
and Errors},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {289--313},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90056-2},
doi = {10.1016/0304-3975(84)90056-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GogollaDLE84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HartmanisY84,
author = {Juris Hartmanis and
Yaacov Yesha},
title = {Computation Times of {NP} Sets of Different Densities},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {17--32},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90111-7},
doi = {10.1016/0304-3975(84)90111-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HartmanisY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ItoITK84,
author = {Minoru Ito and
Motoaki Iwasaki and
Kenichi Taniguchi and
Tadao Kasami},
title = {Membership Problems for Data Dependencies in Relational Expressions},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {315--335},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90057-4},
doi = {10.1016/0304-3975(84)90057-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ItoITK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ItzhaikY84,
author = {Yair Itzhaik and
Amiram Yehudai},
title = {New Families of Non Real Time DPDA's and their Decidability Results},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {255--274},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90054-9},
doi = {10.1016/0304-3975(84)90054-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ItzhaikY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KamimuraT84a,
author = {Tsutomu Kamimura and
Adrian Tang},
title = {Total Objects of Domains},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {275--288},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90055-0},
doi = {10.1016/0304-3975(84)90055-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KamimuraT84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lenstra84,
author = {Arjen K. Lenstra},
title = {Factoring Multivariate Integral Polynomials},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {207--213},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90117-8},
doi = {10.1016/0304-3975(84)90117-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lenstra84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Nesetril84,
author = {Jaroslav Nesetril},
title = {Some Nonstandard Ramsey Like Applications},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {3--15},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90110-5},
doi = {10.1016/0304-3975(84)90110-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Nesetril84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NicolaH84,
author = {Rocco De Nicola and
Matthew Hennessy},
title = {Testing Equivalences for Processes},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {83--133},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90113-0},
doi = {10.1016/0304-3975(84)90113-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NicolaH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SatoT84,
author = {Taisuke Sato and
Hisao Tamaki},
title = {Enumeration of Success Patterns in Logic Programs},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {227--240},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90119-1},
doi = {10.1016/0304-3975(84)90119-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SatoT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schoning84a,
author = {Uwe Sch{\"{o}}ning},
title = {On Small Generators},
journal = {Theor. Comput. Sci.},
volume = {34},
number = {3},
pages = {337--341},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90058-6},
doi = {10.1016/0304-3975(84)90058-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schoning84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Vitanyi84,
author = {Paul M. B. Vit{\'{a}}nyi},
title = {On the Simulation of Many Storage Heads by One},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {157--168},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90115-4},
doi = {10.1016/0304-3975(84)90115-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Vitanyi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Winskel84,
author = {Glynn Winskel},
title = {Synchronization Trees},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {33--82},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90112-9},
doi = {10.1016/0304-3975(84)90112-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Winskel84.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-11-26 15:51 CET 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:
