Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/BrookesM02,
  author       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Foreword - {MFPS} 1996},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {1--2},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00327-3},
  doi          = {10.1016/S0304-3975(00)00327-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrookesM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BrooksM02,
  author       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Dedication},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {23},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00329-7},
  doi          = {10.1016/S0304-3975(00)00329-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrooksM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BucciarelliM02,
  author       = {Antonio Bucciarelli and
                  Pasquale Malacaria},
  title        = {Relative definability of boolean functions via hypergraphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {91--110},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00332-7},
  doi          = {10.1016/S0304-3975(00)00332-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BucciarelliM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FiechS02,
  author       = {Adrian Fiech and
                  David A. Schmidt},
  title        = {Polymorphic lambda calculus and subtyping},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {111--140},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00333-9},
  doi          = {10.1016/S0304-3975(00)00333-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FiechS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Fitting02,
  author       = {Melvin Fitting},
  title        = {Fixpoint semantics for logic programming a survey},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {25--51},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00330-3},
  doi          = {10.1016/S0304-3975(00)00330-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fitting02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FlaggS02,
  author       = {Robert C. Flagg and
                  Philipp S{\"{u}}nderhauf},
  title        = {The essence of ideal completion in quantitative form},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {141--158},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00334-0},
  doi          = {10.1016/S0304-3975(00)00334-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FlaggS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Freyd02,
  author       = {Peter J. Freyd},
  title        = {Cartesian logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {3--21},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00328-5},
  doi          = {10.1016/S0304-3975(00)00328-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Freyd02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GastinT02,
  author       = {Paul Gastin and
                  Dan Teodosiu},
  title        = {Resource traces: a domain for processes sharing exclusive resources},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {195--221},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00336-4},
  doi          = {10.1016/S0304-3975(00)00336-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GastinT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GuptaJS02,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Vijay A. Saraswat},
  title        = {Truly concurrent constraint programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {223--255},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00337-6},
  doi          = {10.1016/S0304-3975(00)00337-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GuptaJS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hennessy02,
  author       = {Matthew Hennessy},
  title        = {A fully abstract denotational semantics for the pi-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {53--89},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00331-5},
  doi          = {10.1016/S0304-3975(00)00331-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hennessy02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KunziS02,
  author       = {Hans{-}Peter A. K{\"{u}}nzi and
                  Michel P. Schellekens},
  title        = {On the Yoneda completion of a quasi-metric space},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {159--194},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00335-2},
  doi          = {10.1016/S0304-3975(00)00335-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KunziS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mulry02,
  author       = {Philip S. Mulry},
  title        = {Lifting results for categories of algebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {257--269},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00338-8},
  doi          = {10.1016/S0304-3975(00)00338-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mulry02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Naumann02,
  author       = {David A. Naumann},
  title        = {Soundness of data refinement for a higher-order imperative language},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {271--301},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00339-X},
  doi          = {10.1016/S0304-3975(00)00339-X},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Naumann02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Power02,
  author       = {John Power},
  title        = {Premonoidal categories as categories with algebraic structure},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {303--321},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00340-6},
  doi          = {10.1016/S0304-3975(00)00340-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Power02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PowerR02,
  author       = {John Power and
                  Giuseppe Rosolini},
  title        = {Fixpoint operators for domain equations},
  journal      = {Theor. Comput. Sci.},
  volume       = {278},
  number       = {1-2},
  pages        = {323--333},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00341-8},
  doi          = {10.1016/S0304-3975(00)00341-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PowerR02.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.