Search dblp for Publications

export results for "toc:db/journals/lmcs/lmcs2.bht:"

 download as .bib file

@article{DBLP:journals/lmcs/000206,
  author       = {Paul Taylor},
  title        = {Computably Based Locally Compact Spaces},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {1},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(1:1)2006},
  doi          = {10.2168/LMCS-2(1:1)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/000206.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AdamekMV06,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Jir{\'{\i}} Velebil},
  title        = {Elgot Algebras},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {5},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(5:4)2006},
  doi          = {10.2168/LMCS-2(5:4)2006},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AdamekMV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/AvigadF06,
  author       = {Jeremy Avigad and
                  Harvey Friedman},
  title        = {Combining decision procedures for the reals},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {4},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(4:4)2006},
  doi          = {10.2168/LMCS-2(4:4)2006},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/AvigadF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BabaianS06,
  author       = {Tamara Babaian and
                  James G. Schmolze},
  title        = {Efficient Open World Reasoning for Planning},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {3},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(3:5)2006},
  doi          = {10.2168/LMCS-2(3:5)2006},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BabaianS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BiereHJLS06,
  author       = {Armin Biere and
                  Keijo Heljanko and
                  Tommi A. Junttila and
                  Timo Latvala and
                  Viktor Schuppan},
  title        = {Linear Encodings of Bounded {LTL} Model Checking},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {5},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(5:5)2006},
  doi          = {10.2168/LMCS-2(5:5)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BiereHJLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BirkedalMP06,
  author       = {Lars Birkedal and
                  Rasmus Ejlers M{\o}gelberg and
                  Rasmus Lerchedahl Petersen},
  title        = {Linear Abadi and Plotkin Logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {5},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(5:2)2006},
  doi          = {10.2168/LMCS-2(5:2)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BirkedalMP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/BirkedalTY06,
  author       = {Lars Birkedal and
                  Noah Torp{-}Smith and
                  Hongseok Yang},
  title        = {Semantics of Separation-Logic Typing and Higher-order Frame Rules
                  for Algol-like Languages},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {5},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(5:1)2006},
  doi          = {10.2168/LMCS-2(5:1)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BirkedalTY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/CarayolM06,
  author       = {Arnaud Carayol and
                  Antoine Meyer},
  title        = {Context-Sensitive Languages, Rational Graphs and Determinism},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {2},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(2:6)2006},
  doi          = {10.2168/LMCS-2(2:6)2006},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/CarayolM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/ConradieGV06,
  author       = {Willem Conradie and
                  Valentin Goranko and
                  Dimiter Vakarelov},
  title        = {Algorithmic correspondence and completeness in modal logic. I. The
                  core algorithm {SQEMA}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {1},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(1:5)2006},
  doi          = {10.2168/LMCS-2(1:5)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/ConradieGV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Courcelle06,
  author       = {Bruno Courcelle},
  title        = {The monadic second-order logic of graphs {XVI} : Canonical graph decompositions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {2},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(2:2)2006},
  doi          = {10.2168/LMCS-2(2:2)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Courcelle06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Dalmau06,
  author       = {V{\'{\i}}ctor Dalmau},
  title        = {Generalized Majority-Minority Operations are Tractable},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {4},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(4:1)2006},
  doi          = {10.2168/LMCS-2(4:1)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Dalmau06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/DongolG06,
  author       = {Brijesh Dongol and
                  Doug Goldson},
  title        = {Extending the theory of Owicki and Gries with a logic of progress},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {1},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(1:6)2006},
  doi          = {10.2168/LMCS-2(1:6)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/DongolG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Feferman06,
  author       = {Solomon Feferman},
  title        = {Tarski's influence on computer science},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {3},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(3:6)2006},
  doi          = {10.2168/LMCS-2(3:6)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Feferman06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Gallier06,
  author       = {Jean H. Gallier},
  title        = {The Completeness of Propositional Resolution: {A} Simple and Constructive
                  Proof},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {5},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(5:3)2006},
  doi          = {10.2168/LMCS-2(5:3)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Gallier06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/GradelW06,
  author       = {Erich Gr{\"{a}}del and
                  Igor Walukiewicz},
  title        = {Positional Determinacy of Games with Infinitely Many Priorities},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {4},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(4:6)2006},
  doi          = {10.2168/LMCS-2(4:6)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GradelW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/GuptaJP06,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Approximate reasoning for real-time probabilistic processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {1},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(1:4)2006},
  doi          = {10.2168/LMCS-2(1:4)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/GuptaJP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Hasegawa06,
  author       = {Masahito Hasegawa},
  title        = {Relational Parametricity and Control},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {3},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(3:3)2006},
  doi          = {10.2168/LMCS-2(3:3)2006},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Hasegawa06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/HirschkoffLS06,
  author       = {Daniel Hirschkoff and
                  {\'{E}}tienne Lozes and
                  Davide Sangiorgi},
  title        = {On the Expressiveness of the Ambient Logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {2},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(2:3)2006},
  doi          = {10.2168/LMCS-2(2:3)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/HirschkoffLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/IntrigilaS06,
  author       = {Benedetto Intrigila and
                  Richard Statman},
  title        = {Solution of a Problem of Barendregt on Sensible lambda-Theories},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {4},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(4:5)2006},
  doi          = {10.2168/LMCS-2(4:5)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/IntrigilaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KobayashiSW06,
  author       = {Naoki Kobayashi and
                  Kohei Suenaga and
                  Lucian Wischik},
  title        = {Resource Usage Analysis for the p-Calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {3},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(3:4)2006},
  doi          = {10.2168/LMCS-2(3:4)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/KobayashiSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KuceraEM06,
  author       = {Anton{\'{\i}}n Kucera and
                  Javier Esparza and
                  Richard Mayr},
  title        = {Model Checking Probabilistic Pushdown Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {1},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(1:2)2006},
  doi          = {10.2168/LMCS-2(1:2)2006},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/KuceraEM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/LamarcheS06,
  author       = {Fran{\c{c}}ois Lamarche and
                  Lutz Stra{\ss}burger},
  title        = {From Proof Nets to the Free *-Autonomous Category},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {4},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(4:3)2006},
  doi          = {10.2168/LMCS-2(4:3)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/LamarcheS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Libkin06,
  author       = {Leonid Libkin},
  title        = {Logics for Unranked Trees: An Overview},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {3},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(3:2)2006},
  doi          = {10.2168/LMCS-2(3:2)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Libkin06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/LutzW06,
  author       = {Carsten Lutz and
                  Frank Wolter},
  title        = {Modal Logics of Topological Relations},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {2},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(2:5)2006},
  doi          = {10.2168/LMCS-2(2:5)2006},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/LutzW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/NevenS06,
  author       = {Frank Neven and
                  Thomas Schwentick},
  title        = {On the complexity of XPath containment in the presence of disjunction,
                  DTDs, and variables},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {3},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(3:1)2006},
  doi          = {10.2168/LMCS-2(3:1)2006},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/NevenS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/NguyenC06,
  author       = {Phuong Nguyen and
                  Stephen A. Cook},
  title        = {Theories for {TC0} and Other Small Complexity Classes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {1},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(1:3)2006},
  doi          = {10.2168/LMCS-2(1:3)2006},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/NguyenC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Stoevring06,
  author       = {Kristian St{\o}vring},
  title        = {Extending the Extensional Lambda Calculus with Surjective Pairing
                  is Conservative},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {2},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(2:1)2006},
  doi          = {10.2168/LMCS-2(2:1)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Stoevring06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Tiu06,
  author       = {Alwen Tiu},
  title        = {A System of Interaction and Structure {II:} The Need for Deep Inference},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {2},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(2:4)2006},
  doi          = {10.2168/LMCS-2(2:4)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Tiu06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/TuanBS06,
  author       = {Le{-}Chi Tuan and
                  Chitta Baral and
                  Tran Cao Son},
  title        = {A State-Based Regression Formulation for Domains with Sensing Actions
                  and Incomplete Information},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {2},
  number       = {4},
  year         = {2006},
  url          = {https://doi.org/10.2168/LMCS-2(4:2)2006},
  doi          = {10.2168/LMCS-2(4:2)2006},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/TuanBS06.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.