Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbiteboulCM02,
  author       = {Serge Abiteboul and
                  Sophie Cluet and
                  Tova Milo},
  title        = {Correspondence and translation for heterogeneous data},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {179--213},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00128-1},
  doi          = {10.1016/S0304-3975(01)00128-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbiteboulCM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AdamekHR02,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Michel H{\'{e}}bert and
                  Jir{\'{\i}} Rosick{\'{y}}},
  title        = {On abstract data types presented by multiequations},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {427--462},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00189-X},
  doi          = {10.1016/S0304-3975(01)00189-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AdamekHR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BeauquierS02,
  author       = {Dani{\`{e}}le Beauquier and
                  Anatol Slissenko},
  title        = {Decidable verification for reducible timed automata specified in a
                  first order logic with time},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {347--388},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00186-4},
  doi          = {10.1016/S0304-3975(01)00186-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BeauquierS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BouhoulaR02,
  author       = {Adel Bouhoula and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Observational proofs by rewriting},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {675--698},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00333-4},
  doi          = {10.1016/S0304-3975(01)00333-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BouhoulaR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Burdick02,
  author       = {Bruce S. Burdick},
  title        = {A note on iterated duals of certain topological spaces},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {69--77},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00414-X},
  doi          = {10.1016/S0304-3975(00)00414-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Burdick02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Busi02,
  author       = {Nadia Busi},
  title        = {Analysis issues in Petri nets with inhibitor arcs},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {127--177},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00127-X},
  doi          = {10.1016/S0304-3975(01)00127-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Busi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Cardone02,
  author       = {Felice Cardone},
  title        = {A coinductive completeness proof for the equivalence of recursive
                  types},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {575--587},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00298-5},
  doi          = {10.1016/S0304-3975(01)00298-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Cardone02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CortesiDQT02,
  author       = {Agostino Cortesi and
                  Agostino Dovier and
                  Elisa Quintarelli and
                  Letizia Tanca},
  title        = {Operational and abstract semantics of the query language G-Log},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {521--560},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00295-X},
  doi          = {10.1016/S0304-3975(01)00295-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CortesiDQT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DeganoGP02,
  author       = {Pierpaolo Degano and
                  Fabio Gadducci and
                  Corrado Priami},
  title        = {A causal semantics for {CCS} via rewriting logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {259--282},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00165-7},
  doi          = {10.1016/S0304-3975(01)00165-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DeganoGP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DugganO02,
  author       = {Dominic Duggan and
                  John Ophel},
  title        = {Open and closed scopes for constrained genericity},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {215--258},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00129-3},
  doi          = {10.1016/S0304-3975(01)00129-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DugganO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Manes02,
  author       = {Ernest G. Manes},
  title        = {Taut Monads and T0-spaces},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {79--109},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00415-1},
  doi          = {10.1016/S0304-3975(00)00415-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Manes02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NevenS02,
  author       = {Frank Neven and
                  Thomas Schwentick},
  title        = {Query automata over finite trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {633--674},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00301-2},
  doi          = {10.1016/S0304-3975(01)00301-2},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/NevenS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rabinovich02,
  author       = {Alexander Moshe Rabinovich},
  title        = {Finite variability interpretation of monadic logic of order},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {111--125},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00126-8},
  doi          = {10.1016/S0304-3975(01)00126-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rabinovich02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sessa02,
  author       = {Maria I. Sessa},
  title        = {Approximate reasoning by similarity-based {SLD} resolution},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {389--426},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00188-8},
  doi          = {10.1016/S0304-3975(01)00188-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sessa02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Stewart02,
  author       = {Iain A. Stewart},
  title        = {Program schemes, arrays, Lindstr{\"{o}}m quantifiers and zero-one
                  laws},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {283--310},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00183-9},
  doi          = {10.1016/S0304-3975(01)00183-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Stewart02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vogler02,
  author       = {Walter Vogler},
  title        = {Efficiency of asynchronous systems, read arcs, and the MUTEX-problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {589--631},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00300-0},
  doi          = {10.1016/S0304-3975(01)00300-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Vogler02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Vorobyov02,
  author       = {Sergei G. Vorobyov},
  title        = {forall-Exists\({}^{\mbox{5}}\)-equational theory of context unification
                  is undecidable},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {463--479},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00190-6},
  doi          = {10.1016/S0304-3975(01)00190-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Vorobyov02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Walukiewicz02,
  author       = {Igor Walukiewicz},
  title        = {Monadic second-order logic on tree-like structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {311--346},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00185-2},
  doi          = {10.1016/S0304-3975(01)00185-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Walukiewicz02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ying02,
  author       = {Mingsheng Ying},
  title        = {Bisimulation indexes and their applications},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {1--68},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00124-4},
  doi          = {10.1016/S0304-3975(01)00124-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ying02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ying02a,
  author       = {Mingsheng Ying},
  title        = {Additive models of probabilistic processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {481--519},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00294-8},
  doi          = {10.1016/S0304-3975(01)00294-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ying02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Zimmermann02,
  author       = {Ernst Zimmermann},
  title        = {Peirce's Rule in Natural Deduction},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {561--574},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00296-1},
  doi          = {10.1016/S0304-3975(01)00296-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zimmermann02.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.