Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/corr/abs-0712-1765,
  author       = {Hugo Gimbert and
                  Florian Horn},
  title        = {Solving Simple Stochastic Games with Few Random Vertices},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0712.1765},
  timestamp    = {Sun, 05 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0712-1765.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0809-3960,
  author       = {Jesper Bengtson and
                  Joachim Parrow},
  title        = {Formalising the pi-calculus using nominal logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0809.3960},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0809-3960.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0811-2198,
  author       = {Alexander Rabinovich},
  title        = {The Church Problem for Countable Ordinals},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0811.2198},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0811-2198.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0812-4848,
  author       = {Michael Bauland and
                  Thomas Schneider and
                  Henning Schnoor and
                  Ilka Schnoor and
                  Heribert Vollmer},
  title        = {The Complexity of Generalized Satisfiability for Linear Temporal Logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2009},
  url          = {http://arxiv.org/abs/0812.4848},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0812-4848.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0901-2068,
  author       = {Jir{\'{\i}} Srba},
  title        = {Beyond Language Equivalence on Visibly Pushdown Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.2068},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-2068.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0901-2399,
  author       = {William Blum and
                  C.{-}H. Luke Ong},
  title        = {The Safe Lambda Calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.2399},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-2399.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0901-2518,
  author       = {Koen Claessen and
                  Jan{-}Willem Roorda},
  title        = {A Faithful Semantics for Generalised Symbolic Trajectory Evaluation},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.2518},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-2518.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0901-4430,
  author       = {Helle Hvid Hansen and
                  Clemens Kupke and
                  Eric Pacuit},
  title        = {Neighbourhood Structures: Bisimilarity and Basic Model Theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.4430},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-4430.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0902-0043,
  author       = {Christoph Benzm{\"{u}}ller and
                  Chad E. Brown and
                  Michael Kohlhase},
  title        = {Cut-Simulation and Impredicativity},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2009},
  url          = {http://arxiv.org/abs/0902.0043},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0902-0043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0902-1179,
  author       = {Martin Grohe and
                  G{\"{o}}tz Schwandtner},
  title        = {The Complexity of Datalog on Linear Orders},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2009},
  url          = {http://arxiv.org/abs/0902.1179},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0902-1179.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0902-2073,
  author       = {Olha Shkaravska and
                  Marko C. J. D. van Eekelen and
                  Ron van Kesteren},
  title        = {Polynomial Size Analysis of First-Order Shapely Functions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0902.2073},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0902-2073.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0902-3958,
  author       = {Laurent Doyen and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Antichains for the Automata-Based Approach to Model-Checking},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2009},
  url          = {http://arxiv.org/abs/0902.3958},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0902-3958.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0903-1032,
  author       = {Mohammad Raza and
                  Philippa Gardner},
  title        = {Footprints in Local Reasoning},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.1032},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-1032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0903-1374,
  author       = {Benedetto Intrigila and
                  Richard Statman},
  title        = {The Omega Rule is {\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)-Complete
                  in the {\(\lambda\)}{\(\beta\)}-Calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.1374},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-1374.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0903-1822,
  author       = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
                  Ralph Matthes and
                  Lu{\'{\i}}s Pinto},
  title        = {Continuation-Passing Style and Strong Normalisation for Intuitionistic
                  Sequent Calculi},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.1822},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-1822.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0903-2410,
  author       = {Jean{-}Yves Marion},
  title        = {On tiered small jump operators},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {1},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.2410},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-2410.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0903-2445,
  author       = {Krishnendu Chatterjee and
                  Luca de Alfaro and
                  Marco Faella and
                  Axel Legay},
  title        = {Qualitative Logics and Equivalences for Probabilistic Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.2445},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-2445.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0903-3126,
  author       = {Ahmed Bouajjani and
                  Cezara Dragoi and
                  Constantin Enea and
                  Yan Jurski and
                  Mihaela Sighireanu},
  title        = {A Generic Framework for Reasoning about Dynamic Networks of Infinite-State
                  Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.3126},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-3126.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0903-4382,
  author       = {Amir M. Ben{-}Amram and
                  Chin Soon Lee},
  title        = {Ranking Functions for Size-Change Termination {II}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.4382},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-4382.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0904-2340,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Catuscia Palamidessi},
  title        = {Explicit fairness in testing semantics},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0904.2340},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0904-2340.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0904-2521,
  author       = {Florent R. Madelaine},
  title        = {Universal Structures and the logic of Forbidden Patterns},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {https://doi.org/10.2168/LMCS-5(2:13)2009},
  doi          = {10.2168/LMCS-5(2:13)2009},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0904-2521.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0904-4119,
  author       = {Mikolaj Bojanczyk},
  title        = {Two-Way Unary Temporal Logic over Trees},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0904.4119},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0904-4119.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0904-4902,
  author       = {Tal Lev{-}Ami and
                  Neil Immerman and
                  Thomas W. Reps and
                  Mooly Sagiv and
                  Siddharth Srivastava and
                  Greta Yorsh},
  title        = {Simulating reachability using first-order logic with applications
                  to verification of linked data structures},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/0904.4902},
  timestamp    = {Sun, 05 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0904-4902.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0905-2539,
  author       = {Delia Kesner},
  title        = {A Theory of Explicit Substitutions with Safe and Full Composition},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0905.2539},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0905-2539.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0905-3668,
  author       = {Johan van Benthem and
                  Balder ten Cate and
                  Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {Lindstr{\"{o}}m theorems for fragments of first-order logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0905.3668},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0905-3668.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0905-4813,
  author       = {Neil Ghani and
                  Peter G. Hancock and
                  Dirk Pattinson},
  title        = {Representations of Stream Processors Using Nested Fixed Points},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0905.4813},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0905-4813.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0906-0380,
  author       = {Damiano Mazza},
  title        = {Observational Equivalence and Full Abstraction in the Symmetric Interaction
                  Combinators},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {4},
  year         = {2009},
  url          = {http://arxiv.org/abs/0906.0380},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0906-0380.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0906-1350,
  author       = {Catalin Hritcu and
                  Jan Schwinghammer},
  title        = {A Step-indexed Semantics of Imperative Objects},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {4},
  year         = {2009},
  url          = {http://arxiv.org/abs/0906.1350},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0906-1350.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0906-2727,
  author       = {Pietro Di Gianantonio and
                  Furio Honsell and
                  Marina Lenisa},
  title        = {RPO, Second-order Contexts, and Lambda-calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0906.2727},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0906-2727.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0906-5488,
  author       = {Rasmus Ejlers M{\o}gelberg and
                  Alex Simpson},
  title        = {Relational Parametricity for Computational Effects},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0906.5488},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0906-5488.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0907-0616,
  author       = {Philipp Weis and
                  Neil Immerman},
  title        = {Structure Theorem and Strict Alternation Hierarchy for {FO2} on Words},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0907.0616},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0907-0616.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0907-2059,
  author       = {Sylvain Lebresne},
  title        = {A Type System For Call-By-Name Exceptions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {4},
  year         = {2009},
  url          = {http://arxiv.org/abs/0907.2059},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0907-2059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0907-3804,
  author       = {Colin Stirling},
  title        = {Decidability of higher-order matching},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0907.3804},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0907-3804.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0907-4477,
  author       = {Nikos Tzevelekos},
  title        = {Full abstraction for nominal general references},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0907.4477},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0907-4477.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0908-2793,
  author       = {Dexter Kozen and
                  Nicholas Ruozzi},
  title        = {Applications of Metric Coinduction},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0908.2793},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0908-2793.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0909-1198,
  author       = {Dag Normann},
  title        = {A rich hierarchy of functionals of finite types},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {3},
  year         = {2009},
  url          = {http://arxiv.org/abs/0909.1198},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0909-1198.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0910-1268,
  author       = {Olivier Finkel},
  title        = {The Complexity of Infinite Computations In Models of Set Theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {4},
  year         = {2009},
  url          = {http://arxiv.org/abs/0910.1268},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-1268.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0910-4081,
  author       = {Jeroen Ketema and
                  Jakob Grue Simonsen},
  title        = {Infinitary Combinatory Reduction Systems: Confluence},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {4},
  year         = {2009},
  url          = {http://arxiv.org/abs/0910.4081},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-4081.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0912-2109,
  author       = {Rob J. van Glabbeek and
                  Bas Luttik and
                  Nikola Trcka},
  title        = {Computation Tree Logic with Deadlock Detection},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {4},
  year         = {2009},
  url          = {http://arxiv.org/abs/0912.2109},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-2109.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0701032,
  author       = {Guillaume Bonfante and
                  Yves Guiraud},
  title        = {Programs as polygraphs: computability and complexity},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/cs/0701032},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.