Search dblp for Publications

export results for "toc:db/journals/tcs/tcs65.bht:"

 download as .bib file

@article{DBLP:journals/tcs/Abadi89,
  author       = {Mart{\'{\i}}n Abadi},
  title        = {The Power of Temporal Proofs},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {1},
  pages        = {35--83},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90138-2},
  doi          = {10.1016/0304-3975(89)90138-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Abadi89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Allouche89,
  author       = {Jean{-}Paul Allouche},
  title        = {On a Sequence of Rational Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {123--130},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90037-6},
  doi          = {10.1016/0304-3975(89)90037-6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Allouche89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Blanchard89,
  author       = {Fran{\c{c}}ois Blanchard},
  title        = {beta-Expansions and Symbolic Dynamics},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {131--141},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90038-8},
  doi          = {10.1016/0304-3975(89)90038-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Blanchard89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bleuzen-Guernalec89,
  author       = {No{\"{e}}lle Bleuzen{-}Guernalec},
  title        = {On a Possible Classification of Real-Time Constructed Sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {143--148},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90039-X},
  doi          = {10.1016/0304-3975(89)90039-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bleuzen-Guernalec89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dekking89,
  author       = {F. Michel Dekking},
  title        = {On the Probability of Occurrence of Labelled Subtrees of a Randomly
                  Labelled Tree},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {149--152},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90040-6},
  doi          = {10.1016/0304-3975(89)90040-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dekking89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DumontT89,
  author       = {Jean{-}Marie Dumont and
                  Alain Thomas},
  title        = {Systemes de Numeration et Fonctions Fractales Relatifs aux Substitutions},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {153--169},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90041-8},
  doi          = {10.1016/0304-3975(89)90041-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DumontT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EnjalbertC89,
  author       = {Patrice Enjalbert and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Modal Resolution in Clausal Form},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {1},
  pages        = {1--33},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90137-0},
  doi          = {10.1016/0304-3975(89)90137-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EnjalbertC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FranceP89,
  author       = {Michel Mend{\`{e}}s France and
                  Alfred J. van der Poorten},
  title        = {From Geometry to Euler Identities},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {213--220},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90045-5},
  doi          = {10.1016/0304-3975(89)90045-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FranceP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HanselP89,
  author       = {Georges Hansel and
                  Dominique Perrin},
  title        = {Rational Probability Measures},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {171--188},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90042-X},
  doi          = {10.1016/0304-3975(89)90042-X},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HanselP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hardin89,
  author       = {Th{\'{e}}r{\`{e}}se Hardin},
  title        = {Confluence Results for the Pure Strong Categorical Logic {CCL:} lambda-Calculi
                  as Subsystems of {CCL}},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {3},
  pages        = {291--342},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90105-9},
  doi          = {10.1016/0304-3975(89)90105-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hardin89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HellekalekL89,
  author       = {Peter Hellekalek and
                  Gerhard Larcher},
  title        = {On Weyl Sums and Skew Products over Irrational Rotations},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {189--196},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90043-1},
  doi          = {10.1016/0304-3975(89)90043-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HellekalekL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kraaikamp89,
  author       = {Cor Kraaikamp},
  title        = {Statistic and Ergodic Properties of Minkowski's Diagonal Continued
                  Fraction},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {197--212},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90044-3},
  doi          = {10.1016/0304-3975(89)90044-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kraaikamp89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mignosi89,
  author       = {Filippo Mignosi},
  title        = {Infinite Words with Linear Subword Complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {221--242},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90046-7},
  doi          = {10.1016/0304-3975(89)90046-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mignosi89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mori89,
  author       = {Makoto Mori},
  title        = {On the Fredholm Determinant of a Piecewise Linear Transformation},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {243--248},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90047-9},
  doi          = {10.1016/0304-3975(89)90047-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mori89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mosse89,
  author       = {Brigitte Moss{\'{e}}},
  title        = {q-Adic Spectral Analysis of Some Arithmetic Sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {249--263},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90048-0},
  doi          = {10.1016/0304-3975(89)90048-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mosse89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Restivo89,
  author       = {Antonio Restivo},
  title        = {Finitely Generated Sofic Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {2},
  pages        = {265--270},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90049-2},
  doi          = {10.1016/0304-3975(89)90049-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Restivo89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Shepherdson89,
  author       = {John C. Shepherdson},
  title        = {A Sound and Complete Semantics for a Version of Negation as Failure},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {3},
  pages        = {343--371},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90106-0},
  doi          = {10.1016/0304-3975(89)90106-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Shepherdson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Thatte89,
  author       = {Satish R. Thatte},
  title        = {Full Abstraction and Limiting Completeness in Equational Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {1},
  pages        = {85--119},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90139-4},
  doi          = {10.1016/0304-3975(89)90139-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Thatte89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Yokouchi89,
  author       = {Hirofumi Yokouchi},
  title        = {Church-Rosser Theorem for a Rewriting System on Categorical Combinators},
  journal      = {Theor. Comput. Sci.},
  volume       = {65},
  number       = {3},
  pages        = {271--290},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90104-7},
  doi          = {10.1016/0304-3975(89)90104-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Yokouchi89.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.