Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Barr94,
  author       = {Michael Barr},
  title        = {Additions and Corrections to "Terminal Coalgebras in Well-founded
                  Set Theory"},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {189--192},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90060-4},
  doi          = {10.1016/0304-3975(94)90060-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Barr94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Berard94,
  author       = {B{\'{e}}atrice B{\'{e}}rard},
  title        = {Global Serializability of Concurrent Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {41--70},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90053-1},
  doi          = {10.1016/0304-3975(94)90053-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Berard94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BergstraH94,
  author       = {Jan A. Bergstra and
                  Jan Heering},
  title        = {Which Data Types have omega-complete Initial Algebra Specifications?},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {149--168},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90057-4},
  doi          = {10.1016/0304-3975(94)90057-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BossiCF94,
  author       = {Annalisa Bossi and
                  Nicoletta Cocco and
                  Massimo Fabris},
  title        = {Norms on Terms and their use in Proving Universal Termination of a
                  Logic Program},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {2},
  pages        = {297--328},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00019-N},
  doi          = {10.1016/0304-3975(92)00019-N},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BossiCF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CodishDY94,
  author       = {Michael Codish and
                  Dennis Dams and
                  Eyal Yardeni},
  title        = {Bottom-up Abstract Interpretation of Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {93--125},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90055-8},
  doi          = {10.1016/0304-3975(94)90055-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CodishDY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Doets94,
  author       = {Kees Doets},
  title        = {Left Termination Turned into Termination},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {180--187},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90059-0},
  doi          = {10.1016/0304-3975(94)90059-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Doets94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GoltzR94,
  author       = {Ursula Goltz and
                  Arend Rensink},
  title        = {Finite Petri Nets as Models for Recursive Causal Behaviour},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {169--179},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90058-2},
  doi          = {10.1016/0304-3975(94)90058-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GoltzR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hebrard94,
  author       = {Jean{-}Jacques H{\'{e}}brard},
  title        = {A Linear Algorithm for Renaming a Set of Clauses as a Horn Set},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {2},
  pages        = {343--350},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90015-9},
  doi          = {10.1016/0304-3975(94)90015-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hebrard94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hesselink94,
  author       = {Wim H. Hesselink},
  title        = {Nondeterminacy and Recursion via Stacks and Games},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {2},
  pages        = {273--295},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00016-K},
  doi          = {10.1016/0304-3975(92)00016-K},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hesselink94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Majster-CederbaumZ94,
  author       = {Mila E. Majster{-}Cederbaum and
                  Frank Zetzsche},
  title        = {The Comparison of a CPO-based Semantics with a CMS-based semantics
                  for {CSP}},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {1--40},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90052-3},
  doi          = {10.1016/0304-3975(94)90052-3},
  timestamp    = {Tue, 30 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Majster-CederbaumZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/More94,
  author       = {Malika More},
  title        = {Investigation of Binary Spectra by Explicit Polynomial Transformations
                  of Graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {2},
  pages        = {221--272},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00018-M},
  doi          = {10.1016/0304-3975(92)00018-M},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/More94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ParkC94,
  author       = {Jung{-}Heum Park and
                  Kyung{-}Yong Chwa},
  title        = {On the Construction of Regular Minimal Broadcast Digraphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {2},
  pages        = {329--342},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(92)00094-8},
  doi          = {10.1016/0304-3975(92)00094-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ParkC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Pitts94,
  author       = {Andrew M. Pitts},
  title        = {A co-Induction Principle for Recursively Defined Domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {2},
  pages        = {195--219},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90014-0},
  doi          = {10.1016/0304-3975(94)90014-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Pitts94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Thatte94,
  author       = {Satish R. Thatte},
  title        = {Type Inference with Partial Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {127--148},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90056-6},
  doi          = {10.1016/0304-3975(94)90056-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Thatte94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Yamasaki94,
  author       = {Susumu Yamasaki},
  title        = {A Denotational Semantics and Dataflow Construction for Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {71--91},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90054-X},
  doi          = {10.1016/0304-3975(94)90054-X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Yamasaki94.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.