default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs254.bht:"
@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} }
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.