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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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    = {Sun, 04 Aug 2024 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, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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, 12 Feb 2023 00:00:00 +0100},
  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    = {Mon, 26 Jun 2023 01:00:00 +0200},
  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, 06 Oct 2024 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, 17 Feb 2021 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, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ShinwellP05.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.