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/tcs29.bht:"
download as .bib file
@article{DBLP:journals/tcs/BakkerMZ84,
author = {J. W. de Bakker and
John{-}Jules Ch. Meyer and
Jeffery I. Zucker},
title = {On Infinite Computations in Denotational Semantics},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {229--230},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90019-7},
doi = {10.1016/0304-3975(84)90019-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BakkerMZ84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Coppo84,
author = {Mario Coppo},
title = {Completeness of Type Assignment in Continuous Lambda Models},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {309--324},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90005-7},
doi = {10.1016/0304-3975(84)90005-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Coppo84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Eisman84,
author = {Gerald S. Eisman},
title = {On the Ratio of Growth Functions in {EDT0L} Languages},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {325--349},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90006-9},
doi = {10.1016/0304-3975(84)90006-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Eisman84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ElradF84,
author = {Tzilla Elrad and
Nissim Francez},
title = {A Weakest Precondition Semantics for Communicating Processes},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {231--250},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90001-X},
doi = {10.1016/0304-3975(84)90001-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ElradF84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FachiniN84,
author = {Emanuela Fachini and
Margherita Napoli},
title = {Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons
and Decision Problems},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {185--227},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90018-5},
doi = {10.1016/0304-3975(84)90018-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FachiniN84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fraenkel84,
author = {Aviezri S. Fraenkel},
title = {Wythoff Games, Continued Fractions, Cedar Trees and Fibonacci Searches},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {49--73},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90012-4},
doi = {10.1016/0304-3975(84)90012-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fraenkel84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Frederickson84,
author = {Greg N. Frederickson},
title = {Recursively Rotated Orders and Implicit Data Structures: {A} Lower
Bound},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {75--85},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90013-6},
doi = {10.1016/0304-3975(84)90013-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Frederickson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IbarraK84,
author = {Oscar H. Ibarra and
Sam M. Kim},
title = {Characterizations and Computational Complexity of Systolic Trellis
Automata},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {123--153},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90015-X},
doi = {10.1016/0304-3975(84)90015-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IbarraK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Janicki84,
author = {Ryszard Janicki},
title = {Nets, Sequential Components and Concurrency Relations},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {87--121},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90014-8},
doi = {10.1016/0304-3975(84)90014-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Janicki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KamimuraT84,
author = {Tsutomu Kamimura and
Adrian Tang},
title = {Effectively Given Spaces},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {155--166},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90016-1},
doi = {10.1016/0304-3975(84)90016-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KamimuraT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Karhumaki84,
author = {Juhani Karhum{\"{a}}ki},
title = {The Ehrenfeucht Conjecutre: {A} Compactness Claim for Finitely Generated
Free Monoids},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {285--308},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90004-5},
doi = {10.1016/0304-3975(84)90004-5},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Karhumaki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LassezM84,
author = {Jean{-}Louis Lassez and
Michael J. Maher},
title = {Closures and Fairness in the Semantics of Programming Logic},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {167--184},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90017-3},
doi = {10.1016/0304-3975(84)90017-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LassezM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OrlowskaP84,
author = {Ewa Orlowska and
Zdzislaw Pawlak},
title = {Representation of Nondeterministic Information},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {27--39},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90010-0},
doi = {10.1016/0304-3975(84)90010-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OrlowskaP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Potts84,
author = {D. H. Potts},
title = {Remarks on an Example of Jantzen},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {277--284},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90003-3},
doi = {10.1016/0304-3975(84)90003-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Potts84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RozenbergV84,
author = {Grzegorz Rozenberg and
R. Verraedt},
title = {On Simulation and Propagating {E0L} Forms},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {41--48},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90011-2},
doi = {10.1016/0304-3975(84)90011-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RozenbergV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TraubWW84,
author = {Joseph F. Traub and
Grzegorz W. Wasilkowski and
Henryk Wozniakowski},
title = {Average Case Optimality for Linear Problems},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {1--25},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90009-4},
doi = {10.1016/0304-3975(84)90009-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TraubWW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zilli84,
author = {Marisa Venturini Zilli},
title = {Reduction Graphs in the Lambda Calculus},
journal = {Theor. Comput. Sci.},
volume = {29},
pages = {251--275},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90002-1},
doi = {10.1016/0304-3975(84)90002-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zilli84.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-04-16 07:46 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:
