Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Abadi90,
  author       = {Mart{\'{\i}}n Abadi},
  title        = {Corrigendum: The Power of Temporal Proofs},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {275},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90128-5},
  doi          = {10.1016/0304-3975(90)90128-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Abadi90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BainbridgeFSS90,
  author       = {E. S. Bainbridge and
                  Peter J. Freyd and
                  Andre Scedrov and
                  Philip J. Scott},
  title        = {Functorial Polymorphism},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {35--64},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90151-7},
  doi          = {10.1016/0304-3975(90)90151-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BainbridgeFSS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Barr90,
  author       = {Michael Barr},
  title        = {Fixed Points in Cartesian Closed Categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {65--72},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90152-8},
  doi          = {10.1016/0304-3975(90)90152-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Barr90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bloom90,
  author       = {Stephen L. Bloom},
  title        = {A Note on Guarded Theories},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {73--83},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90153-9},
  doi          = {10.1016/0304-3975(90)90153-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bloom90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bottinger90,
  author       = {Claudia B{\"{o}}ttinger},
  title        = {On Scott's Thesis for Domains of Information and Well-Quasi-Orderings},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {151--158},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90157-D},
  doi          = {10.1016/0304-3975(90)90157-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bottinger90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EhrenfeuchtR90,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  title        = {Theory of 2-Structures, Part {I:} Clans, Basic Subclasses, and Morphisms},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {3},
  pages        = {277--303},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90129-6},
  doi          = {10.1016/0304-3975(90)90129-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EhrenfeuchtR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EhrenfeuchtR90a,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  title        = {Theory of 2-Structures, Part {II:} Representation Through Labeled
                  Tree Families},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {3},
  pages        = {305--342},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90130-A},
  doi          = {10.1016/0304-3975(90)90130-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EhrenfeuchtR90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EhrenfeuchtR90b,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  title        = {Primitivity is Hereditary for 2-Structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {3},
  pages        = {343--358},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90131-Z},
  doi          = {10.1016/0304-3975(90)90131-Z},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EhrenfeuchtR90b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GambosiNT90,
  author       = {Giorgio Gambosi and
                  Jaroslav Nesetril and
                  Maurizio Talamo},
  title        = {On Locally Presented Posets},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {251--260},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90125-2},
  doi          = {10.1016/0304-3975(90)90125-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GambosiNT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jung90,
  author       = {Achim Jung},
  title        = {Cartesian Closed Categories of Algebraic CPOs},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {233--250},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90124-Z},
  doi          = {10.1016/0304-3975(90)90124-Z},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Jung90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LongoM90,
  author       = {Giuseppe Longo and
                  Eugenio Moggi},
  title        = {A Category-Theoretic Characterization of Functional Completeness},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {193--211},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90122-X},
  doi          = {10.1016/0304-3975(90)90122-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LongoM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mulry90,
  author       = {Philip S. Mulry},
  title        = {Categorical Fixed Point Semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {85--97},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90154-A},
  doi          = {10.1016/0304-3975(90)90154-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mulry90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NielsonN90,
  author       = {Hanne Riis Nielson and
                  Flemming Nielson},
  title        = {Functional Completeness of the Mixed lambda-Calculus and Combinatory
                  Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {99--126},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90155-B},
  doi          = {10.1016/0304-3975(90)90155-B},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NielsonN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Pasztor90,
  author       = {Ana Pasztor},
  title        = {Recursive Programs and Denotational Semantics in Absolute Logics of
                  Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {127--150},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90156-C},
  doi          = {10.1016/0304-3975(90)90156-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Pasztor90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Senizergues90,
  author       = {G{\'{e}}raud S{\'{e}}nizergues},
  title        = {A Characterisation of Deterministic Context-Free Languages by Means
                  of Right-Congruences},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {213--232},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90123-Y},
  doi          = {10.1016/0304-3975(90)90123-Y},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Senizergues90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Terlutte90,
  author       = {Alain Terlutte},
  title        = {Cyclic Rational Transductions and Polynomials of Rational Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {261--271},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90126-3},
  doi          = {10.1016/0304-3975(90)90126-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Terlutte90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/TiurynB90,
  author       = {Jerzy Tiuryn and
                  David B. Benson},
  title        = {Fixed Points in Free Process Algebras, Part {II}},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {179--192},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90121-W},
  doi          = {10.1016/0304-3975(90)90121-W},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/TiurynB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vyskoc90,
  author       = {Jozef Vyskoc},
  title        = {Corrigendum: An O(nlgk . 2n/2) Time and O(k . 2n/2) Space Algorithm
                  for Certain NP-Complete Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {2},
  pages        = {273--274},
  year         = {1990},
  timestamp    = {Fri, 26 Oct 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Vyskoc90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wagner90,
  author       = {Eric G. Wagner},
  title        = {Algebras, Polynomials and Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {3--34},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90150-G},
  doi          = {10.1016/0304-3975(90)90150-G},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wagner90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wells90,
  author       = {Charles Wells},
  title        = {A Generalization of the Concept of Sketch},
  journal      = {Theor. Comput. Sci.},
  volume       = {70},
  number       = {1},
  pages        = {159--178},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90158-E},
  doi          = {10.1016/0304-3975(90)90158-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wells90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.