Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs9.bht:"
@article{DBLP:journals/tcs/AshcroftF79, author = {Edward A. Ashcroft and Faith E. Fich}, title = {A Generalized Setting for Fixpoint Theory}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {243--256}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90027-6}, doi = {10.1016/0304-3975(79)90027-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AshcroftF79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Aubin79, author = {Raymond Aubin}, title = {Mechanizing Structural Induction Part {I:} Formal System}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {329--345}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90034-3}, doi = {10.1016/0304-3975(79)90034-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Aubin79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Aubin79a, author = {Raymond Aubin}, title = {Mechanizing Structural Induction Part {II:} Strategies}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {347--362}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90035-5}, doi = {10.1016/0304-3975(79)90035-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Aubin79a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BergstraK79, author = {Jan A. Bergstra and Jan Willem Klop}, title = {Church-Rosser Strategies in the Lambda Calculus}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {27--38}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90004-5}, doi = {10.1016/0304-3975(79)90004-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BergstraK79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BloomT79, author = {Stephen L. Bloom and Ralph Tindell}, title = {Algebraic and Graph Theoretic Characterizations of Structured Flowchart Schemes}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {265--286}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90031-8}, doi = {10.1016/0304-3975(79)90031-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BloomT79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Christol79, author = {Gilles Christol}, title = {Ensembles Presque Periodiques k-Reconnaissables}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {141--145}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90011-2}, doi = {10.1016/0304-3975(79)90011-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Christol79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Duval79, author = {Jean{-}Pierre Duval}, title = {Periodes et Repetitions des Mots du Monoide Libre}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {17--26}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90003-3}, doi = {10.1016/0304-3975(79)90003-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Duval79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FlajoletRV79, author = {Philippe Flajolet and Jean{-}Claude Raoult and Jean Vuillemin}, title = {The Number of Registers Required for Evaluating Arithmetic Expressions}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {99--125}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90009-4}, doi = {10.1016/0304-3975(79)90009-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FlajoletRV79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Guessarian79, author = {Ir{\`{e}}ne Guessarian}, title = {Program Transformations and Algebraic Semantics}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {39--65}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90005-7}, doi = {10.1016/0304-3975(79)90005-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Guessarian79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HarrisonHY79, author = {Michael A. Harrison and Ivan M. Havel and Amiram Yehudai}, title = {On Equivalence of Grammars Through Transformation Trees}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {173--205}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90024-0}, doi = {10.1016/0304-3975(79)90024-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HarrisonHY79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/InoueTNA79, author = {Katsushi Inoue and Itsuo Takanami and Akira Nakamura and Tadashi Ae}, title = {One-Way Simple Multihead Finite Automata}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {311--328}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90033-1}, doi = {10.1016/0304-3975(79)90033-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/InoueTNA79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Karhumaki79, author = {Juhani Karhum{\"{a}}ki}, title = {On Commutative {DT0L} Systems}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {207--220}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90025-2}, doi = {10.1016/0304-3975(79)90025-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Karhumaki79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Nijholt79, author = {Anton Nijholt}, title = {Simple Chain Grammars and Languages}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {287--309}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90032-X}, doi = {10.1016/0304-3975(79)90032-X}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Nijholt79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Perrin79, author = {Dominique Perrin}, title = {La Representation Ergodique d'un Automate fini}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {221--241}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90026-4}, doi = {10.1016/0304-3975(79)90026-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Perrin79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Plaisted79, author = {David A. Plaisted}, title = {Fast Verification, Testing, and Generation of Large Primes}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {1--16}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90002-1}, doi = {10.1016/0304-3975(79)90002-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Plaisted79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Reutenauer79, author = {Christophe Reutenauer}, title = {Sur les Series Associees a Certains Systemes de Lindenmayer}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {363--375}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90036-7}, doi = {10.1016/0304-3975(79)90036-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Reutenauer79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Rodriguez79, author = {F. Rodriguez}, title = {Familles de Langages Fermees par Crochet Ouvert}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {385--398}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90038-0}, doi = {10.1016/0304-3975(79)90038-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Rodriguez79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Ruohonen79, author = {Keijo Ruohonen}, title = {On Some Decidability Problems for {HD0L} Systems with Nonsingular Parikh Matrices}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {377--384}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90037-9}, doi = {10.1016/0304-3975(79)90037-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Ruohonen79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Statman79, author = {Richard Statman}, title = {Intuitionistic Propositional Logic is Polynomial-Space Complete}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {67--72}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90006-9}, doi = {10.1016/0304-3975(79)90006-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Statman79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Statman79a, author = {Richard Statman}, title = {The Typed lambda-Calculus is not Elementary Recursive}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {73--81}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90007-0}, doi = {10.1016/0304-3975(79)90007-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Statman79a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Tang79, author = {A. Tang}, title = {Chain Properties in {P} omega}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {153--172}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90023-9}, doi = {10.1016/0304-3975(79)90023-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Tang79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/WechsungB79, author = {Gerd Wechsung and Andreas Brandst{\"{a}}dt}, title = {A Relation Between Space, Return and Dual Return Complexities}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {127--140}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90010-0}, doi = {10.1016/0304-3975(79)90010-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/WechsungB79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Wegener79, author = {Ingo Wegener}, title = {Switching Functions Whose Monotone Complexity is Nearly Quadratic}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {83--97}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90008-2}, doi = {10.1016/0304-3975(79)90008-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Wegener79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Wegener79a, author = {Ingo Wegener}, title = {A Counterexample to a Conjecture of Schnorr Referring to Monotone Networks}, journal = {Theor. Comput. Sci.}, volume = {9}, pages = {147--150}, year = {1979}, url = {https://doi.org/10.1016/0304-3975(79)90012-4}, doi = {10.1016/0304-3975(79)90012-4}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Wegener79a.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.