Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/BaldanBCP04,
  author       = {Paolo Baldan and
                  Nadia Busi and
                  Andrea Corradini and
                  G. Michele Pinna},
  title        = {Domain and event structure semantics for Petri nets with read and
                  inhibitor arcs},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {129--189},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.001},
  doi          = {10.1016/J.TCS.2004.04.001},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BaldanBCP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CerritoK04,
  author       = {Serenella Cerrito and
                  Delia Kesner},
  title        = {Pattern matching as cut elimination},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {71--127},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.032},
  doi          = {10.1016/J.TCS.2004.03.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CerritoK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DehlingerD04,
  author       = {Christophe Dehlinger and
                  Jean{-}Fran{\c{c}}ois Dufourd},
  title        = {Formalizing generalized maps in Coq},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {351--397},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.05.003},
  doi          = {10.1016/J.TCS.2004.05.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DehlingerD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DehlingerD04a,
  author       = {Christophe Dehlinger and
                  Jean{-}Fran{\c{c}}ois Dufourd},
  title        = {Formalizing the trading theorem in Coq},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {399--442},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.05.002},
  doi          = {10.1016/J.TCS.2004.05.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DehlingerD04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HieronsH04,
  author       = {Robert M. Hierons and
                  Mark Harman},
  title        = {Testing conformance of a deterministic implementation against a non-deterministic
                  stream X-machine},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {191--233},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.002},
  doi          = {10.1016/J.TCS.2004.04.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HieronsH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JeffreyR04,
  author       = {Alan Jeffrey and
                  Julian Rathke},
  title        = {A theory of bisimulation for a fragment of concurrent {ML} with local
                  names},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {1--48},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.005},
  doi          = {10.1016/J.TCS.2004.03.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JeffreyR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Peltier04,
  author       = {Nicolas Peltier},
  title        = {The first order theory of primal grammars is decidable},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {267--320},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.007},
  doi          = {10.1016/J.TCS.2004.04.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Peltier04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Porter04,
  author       = {Timothy Porter},
  title        = {Interpreted systems and Kripke models for multiagent systems from
                  a categorical perspective},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {235--266},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.005},
  doi          = {10.1016/J.TCS.2004.04.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Porter04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Raffalli04,
  author       = {Christophe Raffalli},
  title        = {Getting results from programs extracted from classical proofs},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {49--70},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.006},
  doi          = {10.1016/J.TCS.2004.03.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Raffalli04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/UrbanPG04,
  author       = {Christian Urban and
                  Andrew M. Pitts and
                  Murdoch Gabbay},
  title        = {Nominal unification},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {473--497},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.06.016},
  doi          = {10.1016/J.TCS.2004.06.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/UrbanPG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/UrsoK04,
  author       = {Pascal Urso and
                  Emmanuel Kounalis},
  title        = {Sound generalizations in mathematical induction},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {443--471},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.05.022},
  doi          = {10.1016/J.TCS.2004.05.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/UrsoK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZhangR04,
  author       = {Guo{-}Qiang Zhang and
                  William C. Rounds},
  title        = {Reasoning with power defaults},
  journal      = {Theor. Comput. Sci.},
  volume       = {323},
  number       = {1-3},
  pages        = {321--350},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.008},
  doi          = {10.1016/J.TCS.2004.04.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangR04.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.