Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AbbottAG05,
  author    = {Michael Gordon Abbott and
               Thorsten Altenkirch and
               Neil Ghani},
  title     = {Containers: Constructing strictly positive types},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {3--27},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.002},
  doi       = {10.1016/j.tcs.2005.06.002},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/AbbottAG05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AgerDM05,
  author    = {Mads Sig Ager and
               Olivier Danvy and
               Jan Midtgaard},
  title     = {A functional correspondence between monadic evaluators and abstract
               machines for languages with computational effects},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {149--172},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.008},
  doi       = {10.1016/j.tcs.2005.06.008},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/AgerDM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlvesF05,
  author    = {Sandra Alves and
               M{\'{a}}rio Florido},
  title     = {Weak linearization of the lambda calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {79--103},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.005},
  doi       = {10.1016/j.tcs.2005.06.005},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/AlvesF05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CacheraJPR05,
  author    = {David Cachera and
               Thomas P. Jensen and
               David Pichardie and
               Vlad Rusu},
  title     = {Extracting a data flow analyser in constructive logic},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {56--78},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.004},
  doi       = {10.1016/j.tcs.2005.06.004},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/CacheraJPR05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CleavelandIN05,
  author    = {Rance Cleaveland and
               S. Purushothaman Iyer and
               Murali Narasimha},
  title     = {Probabilistic temporal logics via the modal mu-calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {2-3},
  pages     = {316--350},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.03.048},
  doi       = {10.1016/j.tcs.2005.03.048},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/CleavelandIN05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CourcelleW05,
  author    = {Bruno Courcelle and
               Pascal Weil},
  title     = {The recognizability of sets of graphs is a robust property},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {2-3},
  pages     = {173--228},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.03.018},
  doi       = {10.1016/j.tcs.2005.03.018},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/CourcelleW05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GardnerM05,
  author    = {Philippa Gardner and
               Sergio Maffeis},
  title     = {Modelling dynamic web data},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {104--131},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.006},
  doi       = {10.1016/j.tcs.2005.06.006},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/GardnerM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HaghverdiTP05,
  author    = {Esfandiar Haghverdi and
               Paulo Tabuada and
               George J. Pappas},
  title     = {Bisimulation relations for dynamical, control, and hybrid systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {2-3},
  pages     = {229--261},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.03.045},
  doi       = {10.1016/j.tcs.2005.03.045},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/HaghverdiTP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Laird05a,
  author    = {James Laird},
  title     = {Locally Boolean domains},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {132--148},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.007},
  doi       = {10.1016/j.tcs.2005.06.007},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Laird05a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LoyerS05,
  author    = {Yann Loyer and
               Umberto Straccia},
  title     = {Any-world assumptions in logic programming},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {2-3},
  pages     = {351--381},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.04.005},
  doi       = {10.1016/j.tcs.2005.04.005},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/LoyerS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Moggi05,
  author    = {Eugenio Moggi},
  title     = {Applied semantics: Selected topics},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {1--2},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.001},
  doi       = {10.1016/j.tcs.2005.06.001},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Moggi05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NomikosRG05,
  author    = {Christos Nomikos and
               Panos Rondogiannis and
               Manolis Gergatsoulis},
  title     = {Temporal stratification tests for linear and branching-time deductive
               databases},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {2-3},
  pages     = {382--415},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.05.014},
  doi       = {10.1016/j.tcs.2005.05.014},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/NomikosRG05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Oles05,
  author    = {Frank J. Oles},
  title     = {Precedence-inclusion patterns and relational learning},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {2-3},
  pages     = {262--315},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.03.046},
  doi       = {10.1016/j.tcs.2005.03.046},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Oles05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ShinwellP05,
  author    = {Mark R. Shinwell and
               Andrew M. Pitts},
  title     = {On a monadic semantics for freshness},
  journal   = {Theor. Comput. Sci.},
  volume    = {342},
  number    = {1},
  pages     = {28--55},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2005.06.003},
  doi       = {10.1016/j.tcs.2005.06.003},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/ShinwellP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics