Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/BernardoG01,
  author       = {Marco Bernardo and
                  Roberto Gorrieri},
  title        = {Corrigendum to "A tutorial on {EMPA:} a theory of concurrent processes
                  with nondeterminism, priorities, probabilities and time" - {[TCS}
                  202 {(1998)} 1-54]},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {691--694},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00256-5},
  doi          = {10.1016/S0304-3975(00)00256-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BernardoG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bussche01,
  author       = {Jan Van den Bussche},
  title        = {Simulation of the nested relational algebra by the flat relational
                  algebra, with an application to the complexity of evaluating powerset
                  algebra expressions},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {363--377},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00301-1},
  doi          = {10.1016/S0304-3975(99)00301-1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Bussche01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChenN01,
  author       = {Xiao Jun Chen and
                  Rocco De Nicola},
  title        = {Algebraic characterizations of trace and decorated trace equivalences
                  over tree-like structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {337--361},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00300-X},
  doi          = {10.1016/S0304-3975(99)00300-X},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ChenN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Crolard01,
  author       = {Tristan Crolard},
  title        = {Subtractive logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {151--185},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00124-3},
  doi          = {10.1016/S0304-3975(99)00124-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Crolard01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FriasM01,
  author       = {Marcelo F. Frias and
                  Roger D. Maddux},
  title        = {Completeness of a relational calculus for program schemes},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {543--556},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00343-6},
  doi          = {10.1016/S0304-3975(99)00343-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FriasM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GuerraouiS01,
  author       = {Rachid Guerraoui and
                  Andr{\'{e}} Schiper},
  title        = {Genuine atomic multicast in asynchronous distributed systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {297--316},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00161-9},
  doi          = {10.1016/S0304-3975(99)00161-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GuerraouiS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GuerriniM01,
  author       = {Stefano Guerrini and
                  Andrea Masini},
  title        = {Parsing {MELL} proof nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {317--335},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00299-6},
  doi          = {10.1016/S0304-3975(99)00299-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GuerriniM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/IngolfsdottirS01,
  author       = {Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Andrea Schalk},
  title        = {A fully abstract denotational model for observational precongruence},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {35--61},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00117-6},
  doi          = {10.1016/S0304-3975(99)00117-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/IngolfsdottirS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JennerV01,
  author       = {Lars Jenner and
                  Walter Vogler},
  title        = {Fast asynchronous systems in dense time},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {379--422},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00304-7},
  doi          = {10.1016/S0304-3975(99)00304-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JennerV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KatoenBL01,
  author       = {Joost{-}Pieter Katoen and
                  Christel Baier and
                  Diego Latella},
  title        = {Metric semantics for true concurrent real time},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {501--542},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00342-4},
  doi          = {10.1016/S0304-3975(99)00342-4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/KatoenBL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LeveneL01,
  author       = {Mark Levene and
                  George Loizou},
  title        = {Guaranteeing no interaction between functional dependencies and tree-like
                  inclusion dependencies},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {683--690},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00394-7},
  doi          = {10.1016/S0304-3975(00)00394-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LeveneL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MoninS01,
  author       = {Fran{\c{c}}ois Monin and
                  Marianne Simonot},
  title        = {An ordinal measure based procedure for termination of functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {63--94},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00118-8},
  doi          = {10.1016/S0304-3975(99)00118-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MoninS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ProbstS01,
  author       = {Dieter Probst and
                  Thomas Studer},
  title        = {How to normalize the Jay},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {677--681},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00379-0},
  doi          = {10.1016/S0304-3975(00)00379-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ProbstS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Raffalli01,
  author       = {Christophe Raffalli},
  title        = {Completeness, minimal logic and programs extraction},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {259--271},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00141-3},
  doi          = {10.1016/S0304-3975(99)00141-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Raffalli01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RameshRS01,
  author       = {R. Ramesh and
                  I. V. Ramakrishnan and
                  R. C. Sekar},
  title        = {Automata-driven efficient subterm unification},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {187--223},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00131-0},
  doi          = {10.1016/S0304-3975(99)00131-0},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/RameshRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RecaldeTS01,
  author       = {Laura Recalde and
                  Enrique Teruel and
                  Manuel Silva Su{\'{a}}rez},
  title        = {Structure theory of multi-level deterministically synchronized sequential
                  processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {1--33},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00112-7},
  doi          = {10.1016/S0304-3975(99)00112-7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/RecaldeTS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Resende01,
  author       = {Pedro Resende},
  title        = {Quantales, finite observations and strong bisimulation},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {95--149},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00123-1},
  doi          = {10.1016/S0304-3975(99)00123-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Resende01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rondogiannis01,
  author       = {Panos Rondogiannis},
  title        = {Stratified negation in temporal logic programming and the cycle-sum
                  test},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {663--676},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00374-1},
  doi          = {10.1016/S0304-3975(00)00374-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rondogiannis01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ruggieri01,
  author       = {Salvatore Ruggieri},
  title        = {exists-Universal termination of logic programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {273--296},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00155-3},
  doi          = {10.1016/S0304-3975(99)00155-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ruggieri01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SagonasSW01,
  author       = {Konstantinos Sagonas and
                  Terrance Swift and
                  David Scott Warren},
  title        = {The limits of fixed-order computation},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {465--499},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00341-2},
  doi          = {10.1016/S0304-3975(99)00341-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SagonasSW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SpringintveldVD01,
  author       = {Jan Springintveld and
                  Frits W. Vaandrager and
                  Pedro R. D'Argenio},
  title        = {Testing timed automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {225--257},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00134-6},
  doi          = {10.1016/S0304-3975(99)00134-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SpringintveldVD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SpruitWM01,
  author       = {Paul Spruit and
                  Roel J. Wieringa and
                  John{-}Jules Ch. Meyer},
  title        = {Regular database update logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {591--661},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00289-9},
  doi          = {10.1016/S0304-3975(00)00289-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SpruitWM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ThomsenA01,
  author       = {Bent Thomsen and
                  Samson Abramsky},
  title        = {A fully abstract denotational semantics for the calculus of higher-order
                  communicating systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {557--589},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00281-4},
  doi          = {10.1016/S0304-3975(00)00281-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ThomsenA01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VandeurzenGG01,
  author       = {Luc Vandeurzen and
                  Marc Gyssens and
                  Dirk Van Gucht},
  title        = {On the expressiveness of linear-constraint query languages for spatial
                  databases},
  journal      = {Theor. Comput. Sci.},
  volume       = {254},
  number       = {1-2},
  pages        = {423--463},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(99)00316-3},
  doi          = {10.1016/S0304-3975(99)00316-3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/VandeurzenGG01.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.