Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/corr/AbdullaCMS14,
  author       = {Parosh Aziz Abdulla and
                  Lorenzo Clemente and
                  Richard Mayr and
                  Sven Sandberg},
  title        = {Stochastic Parity Games on Lossy Channel Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:21)2014},
  doi          = {10.2168/LMCS-10(4:21)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaCMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekHM14,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Mahdieh Haddadi and
                  Stefan Milius},
  title        = {Corecursive Algebras, Corecursive Monads and Bloom Monads},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:19)2014},
  doi          = {10.2168/LMCS-10(3:19)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AdamekHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmanCU14,
  author       = {Danel Ahman and
                  James Chapman and
                  Tarmo Uustalu},
  title        = {When is a container a comonad?},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:14)2014},
  doi          = {10.2168/LMCS-10(3:14)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AhmanCU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AllenderBFL14,
  author       = {Eric Allender and
                  Harry Buhrman and
                  Luke Friedman and
                  Bruno Loff},
  title        = {Reductions to the set of random strings: The resource-bounded case},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:5)2014},
  doi          = {10.2168/LMCS-10(3:5)2014},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AllenderBFL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnantharamanBNR14,
  author       = {Siva Anantharaman and
                  Christopher Bouchard and
                  Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Unification modulo a 2-sorted Equational theory for Cipher-Decipher
                  Block Chaining},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:5)2014},
  doi          = {10.2168/LMCS-10(1:5)2014},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AnantharamanBNR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArapinisDK14,
  author       = {Myrto Arapinis and
                  St{\'{e}}phanie Delaune and
                  Steve Kremer},
  title        = {Dynamic Tags for Security Protocols},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:11)2014},
  doi          = {10.2168/LMCS-10(2:11)2014},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ArapinisDK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bahr14,
  author       = {Patrick Bahr},
  title        = {Partial Order Infinitary Term Rewriting},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:6)2014},
  doi          = {10.2168/LMCS-10(2:6)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bahr14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaranyGO13,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Georg Gottlob and
                  Martin Otto},
  title        = {Querying the Guarded Fragment},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:3)2014},
  doi          = {10.2168/LMCS-10(2:3)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BaranyGO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarcenasL14,
  author       = {Everardo B{\'{a}}rcenas and
                  Jes{\'{u}}s Lavalle},
  title        = {Global Numerical Constraints on Trees},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:10)2014},
  doi          = {10.2168/LMCS-10(2:10)2014},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BarcenasL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BauerP13,
  author       = {Andrej Bauer and
                  Matija Pretnar},
  title        = {An Effect System for Algebraic Effects and Handlers},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:9)2014},
  doi          = {10.2168/LMCS-10(4:9)2014},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BauerP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bellin14,
  author       = {Gianluigi Bellin},
  title        = {Categorical Proof Theory of Co-Intuitionistic Linear Logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:16)2014},
  doi          = {10.2168/LMCS-10(3:16)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bellin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Berardid14,
  author       = {Stefano Berardi and
                  Ugo de'Liguoro},
  title        = {Knowledge Spaces and the Completeness of Learning Strategies},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:9)2014},
  doi          = {10.2168/LMCS-10(1:9)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Berardid14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernardoNL14,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Revisiting Trace and Testing Equivalences for Nondeterministic and
                  Probabilistic Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:16)2014},
  doi          = {10.2168/LMCS-10(1:16)2014},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BernardoNL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BertrandBBMBGJ14,
  author       = {Nathalie Bertrand and
                  Patricia Bouyer and
                  Thomas Brihaye and
                  Quentin Menet and
                  Christel Baier and
                  Marcus Gr{\"{o}}{\ss}er and
                  Marcin Jurdzinski},
  title        = {Stochastic Timed Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:6)2014},
  doi          = {10.2168/LMCS-10(4:6)2014},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BertrandBBMBGJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlumensathC13,
  author       = {Achim Blumensath and
                  Bruno Courcelle},
  title        = {Monadic second-order definable graph orderings},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:2)2014},
  doi          = {10.2168/LMCS-10(1:2)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlumensathC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlumensathOW14,
  author       = {Achim Blumensath and
                  Martin Otto and
                  Mark Weyer},
  title        = {Decidability Results for the Boundedness Problem},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:2)2014},
  doi          = {10.2168/LMCS-10(3:2)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlumensathOW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoerJLZ14,
  author       = {Frank S. de Boer and
                  Mohammad Mahdi Jaghoori and
                  Cosimo Laneve and
                  Gianluigi Zavattaro},
  title        = {Decidability Problems for Actor Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:5)2014},
  doi          = {10.2168/LMCS-10(4:5)2014},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BoerJLZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BojanczykKL14,
  author       = {Mikolaj Bojanczyk and
                  Bartek Klin and
                  Slawomir Lasota},
  title        = {Automata theory in nominal sets},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:4)2014},
  doi          = {10.2168/LMCS-10(3:4)2014},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BojanczykKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BokerH14,
  author       = {Udi Boker and
                  Thomas A. Henzinger},
  title        = {Exact and Approximate Determinization of Discounted-Sum Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:10)2014},
  doi          = {10.2168/LMCS-10(1:10)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BokerH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BolligHLM14,
  author       = {Benedikt Bollig and
                  Peter Habermehl and
                  Martin Leucker and
                  Benjamin Monmege},
  title        = {A Robust Class of Data Languages and an Application to Learning},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:19)2014},
  doi          = {10.2168/LMCS-10(4:19)2014},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BolligHLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgesB14,
  author       = {Nerio Borges and
                  Blai Bonet},
  title        = {Universal First-Order Logic is Superfluous for NL, P, {NP} and coNP},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:15)2014},
  doi          = {10.2168/LMCS-10(1:15)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BorgesB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrandtW14,
  author       = {Ulrike Brandt and
                  Hermann K.{-}G. Walter},
  title        = {Unsolvability Cores in Classification Problems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:12)2014},
  doi          = {10.2168/LMCS-10(2:12)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrandtW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bridges14,
  author       = {Douglas Suth Bridges},
  title        = {Locating Ax, where {A} is a subspace of {B(H)}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:9)2014},
  doi          = {10.2168/LMCS-10(2:9)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bridges14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BurnikI14,
  author       = {Konrad Burnik and
                  Zvonko Iljazovic},
  title        = {Computability of 1-manifolds},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:8)2014},
  doi          = {10.2168/LMCS-10(2:8)2014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BurnikI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BussCR14,
  author       = {Sam Buss and
                  Douglas Cenzer and
                  Jeffrey B. Remmel},
  title        = {Sub-computable Boundedness Randomness},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:15)2014},
  doi          = {10.2168/LMCS-10(4:15)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BussCR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BussK14,
  author       = {Samuel R. Buss and
                  Leszek Aleksander Kolodziejczyk},
  title        = {Small Stone in Pool},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:16)2014},
  doi          = {10.2168/LMCS-10(2:16)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BussK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaiDELM14,
  author       = {Mingzhong Cai and
                  Rodney G. Downey and
                  Rachel Epstein and
                  Steffen Lempp and
                  Joseph S. Miller},
  title        = {Random strings and tt-degrees of Turing complete {C.E.} sets},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:15)2014},
  doi          = {10.2168/LMCS-10(3:15)2014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CaiDELM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Chen14a,
  author       = {Hubie Chen},
  title        = {Beyond Q-Resolution and Prenex Form: {A} Proof System for Quantified
                  Constraint Satisfaction},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:14)2014},
  doi          = {10.2168/LMCS-10(4:14)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Chen14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DavidN13,
  author       = {Ren{\'{e}} David and
                  Karim Nour},
  title        = {About the range property for {H}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:3)2014},
  doi          = {10.2168/LMCS-10(1:3)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DavidN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EndrullisGHKO14,
  author       = {J{\"{o}}rg Endrullis and
                  Clemens Grabmayer and
                  Dimitri Hendriks and
                  Jan Willem Klop and
                  Vincent van Oostrom},
  title        = {Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties
                  and Counterexamples},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:7)2014},
  doi          = {10.2168/LMCS-10(2:7)2014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EndrullisGHKO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FoucheMD14,
  author       = {Willem L. Fouch{\'{e}} and
                  Safari Mukeru and
                  George Davie},
  title        = {Fourier spectra of measures associated with algorithmically random
                  Brownian motion},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:20)2014},
  doi          = {10.2168/LMCS-10(3:20)2014},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/FoucheMD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FrancalanzaVH14,
  author       = {Adrian Francalanza and
                  Edsko de Vries and
                  Matthew Hennessy},
  title        = {Compositional Reasoning for Explicit Resource Management in Channel-Based
                  Concurrency},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:15)2014},
  doi          = {10.2168/LMCS-10(2:15)2014},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FrancalanzaVH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Given-WilsonGJ14,
  author       = {Thomas Given{-}Wilson and
                  Daniele Gorla and
                  Barry Jay},
  title        = {A Concurrent Pattern Calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:10)2014},
  doi          = {10.2168/LMCS-10(3:10)2014},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Given-WilsonGJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuckHHKT14,
  author       = {Dennis Guck and
                  Hassan Hatefi and
                  Holger Hermanns and
                  Joost{-}Pieter Katoen and
                  Mark Timmer},
  title        = {Analysis of Timed and Long-Run Objectives for Markov Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:17)2014},
  doi          = {10.2168/LMCS-10(3:17)2014},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GuckHHKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/He14,
  author       = {Yuguo He},
  title        = {On the strictness of the quantifier structure hierarchy in first-order
                  logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:3)2014},
  doi          = {10.2168/LMCS-10(4:3)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/He14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HertlingS14,
  author       = {Peter Hertling and
                  Christoph Spandl},
  title        = {Computing a Solution of Feigenbaum's Functional Equation in Polynomial
                  Time},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:7)2014},
  doi          = {10.2168/LMCS-10(4:7)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HertlingS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hirschowitz14,
  author       = {Tom Hirschowitz},
  title        = {Full abstraction for fair testing in {CCS} (expanded version)},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:2)2014},
  doi          = {10.2168/LMCS-10(4:2)2014},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Hirschowitz14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hyvernat13,
  author       = {Pierre Hyvernat},
  title        = {The Size-Change Termination Principle for Constructor Based Languages},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:11)2014},
  doi          = {10.2168/LMCS-10(1:11)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Hyvernat13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hyvernat14,
  author       = {Pierre Hyvernat},
  title        = {A Linear Category of Polynomial Functors (extensional part)},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:2)2014},
  doi          = {10.2168/LMCS-10(2:2)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Hyvernat14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ishihara14,
  author       = {Hajime Ishihara},
  title        = {Classical propositional logic and decidability of variables in intuitionistic
                  propositional logic},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:1)2014},
  doi          = {10.2168/LMCS-10(3:1)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Ishihara14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsB14,
  author       = {Swen Jacobs and
                  Roderick Bloem},
  title        = {Parameterized Synthesis},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:12)2014},
  doi          = {10.2168/LMCS-10(1:12)2014},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/JacobsB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kahramanogullari14,
  author       = {Ozan Kahramanogullari},
  title        = {Interaction and Depth against Nondeterminism in Proof Search},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:5)2014},
  doi          = {10.2168/LMCS-10(2:5)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kahramanogullari14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KawamuraORZ13,
  author       = {Akitoshi Kawamura and
                  Hiroyuki Ota and
                  Carsten R{\"{o}}snick and
                  Martin Ziegler},
  title        = {Computational Complexity of Smooth Differential Equations},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:6)2014},
  doi          = {10.2168/LMCS-10(1:6)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KawamuraORZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kjos-HanssenNR14,
  author       = {Bj{\o}rn Kjos{-}Hanssen and
                  Paul Kim Long V. Nguyen and
                  Jason M. Rute},
  title        = {Algorithmic randomness for Doob's martingale convergence theorem in
                  continuous time},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:12)2014},
  doi          = {10.2168/LMCS-10(4:12)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kjos-HanssenNR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotekM13,
  author       = {Tomer Kotek and
                  Johann A. Makowsky},
  title        = {Connection Matrices and the Definability of Graph Parameters},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:1)2014},
  doi          = {10.2168/LMCS-10(4:1)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KotekM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KouzapasY14,
  author       = {Dimitrios Kouzapas and
                  Nobuko Yoshida},
  title        = {Globally Governed Session Semantics},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:20)2014},
  doi          = {10.2168/LMCS-10(4:20)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KouzapasY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kuperberg14,
  author       = {Denis Kuperberg},
  title        = {Linear Temporal Logic for Regular Cost Functions},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:4)2014},
  doi          = {10.2168/LMCS-10(1:4)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kuperberg14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LaroussinieM14,
  author       = {Fran{\c{c}}ois Laroussinie and
                  Nicolas Markey},
  title        = {Quantified {CTL:} Expressiveness and Complexity},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:17)2014},
  doi          = {10.2168/LMCS-10(4:17)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LaroussinieM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Leivant13a,
  author       = {Daniel Leivant},
  title        = {Global semantic typing for inductive and coinductive computing},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:18)2014},
  doi          = {10.2168/LMCS-10(4:18)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Leivant13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MartinsMB13,
  author       = {Manuel A. Martins and
                  Alexandre Madeira and
                  Lu{\'{\i}}s Soares Barbosa},
  title        = {The role of logical interpretations in program development},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:1)2014},
  doi          = {10.2168/LMCS-10(1:1)2014},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MartinsMB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Mimram14,
  author       = {Samuel Mimram},
  title        = {Towards 3-Dimensional Rewriting Theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:1)2014},
  doi          = {10.2168/LMCS-10(2:1)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Mimram14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MogelbergS14,
  author       = {Rasmus Ejlers M{\o}gelberg and
                  Sam Staton},
  title        = {Linear usage of state},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:17)2014},
  doi          = {10.2168/LMCS-10(1:17)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MogelbergS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NainLV14,
  author       = {Sumit Nain and
                  Yoad Lustig and
                  Moshe Y. Vardi},
  title        = {Synthesis from Probabilistic Components},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:17)2014},
  doi          = {10.2168/LMCS-10(2:17)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NainLV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NeurauterM14,
  author       = {Friedrich Neurauter and
                  Aart Middeldorp},
  title        = {Polynomial Interpretations over the Natural, Rational and Real Numbers
                  Revisited},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:22)2014},
  doi          = {10.2168/LMCS-10(3:22)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NeurauterM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pak14,
  author       = {Karol Pak},
  title        = {Improving legibility of natural deduction proofs is not trivial},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:23)2014},
  doi          = {10.2168/LMCS-10(3:23)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Pak14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PlaceRZ13,
  author       = {Thomas Place and
                  Lorijn van Rooijen and
                  Marc Zeitoun},
  title        = {Separating Regular Languages by Locally Testable and Locally Threshold
                  Testable Languages},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:24)2014},
  doi          = {10.2168/LMCS-10(3:24)2014},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/PlaceRZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pretnar13,
  author       = {Matija Pretnar},
  title        = {Inferring Algebraic Effects},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:21)2014},
  doi          = {10.2168/LMCS-10(3:21)2014},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Pretnar13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Rabinovich14,
  author       = {Alexander Rabinovich},
  title        = {A Proof of Kamp's theorem},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:14)2014},
  doi          = {10.2168/LMCS-10(1:14)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Rabinovich14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Schopp14,
  author       = {Ulrich Sch{\"{o}}pp},
  title        = {On the Relation of Interaction Semantics to Continuations and Defunctionalization},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:10)2014},
  doi          = {10.2168/LMCS-10(4:10)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Schopp14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Skrzypczak14,
  author       = {Michal Skrzypczak},
  title        = {Separation Property for wB- and wS-regular Languages},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:8)2014},
  doi          = {10.2168/LMCS-10(1:8)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Skrzypczak14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StreicherKS14,
  author       = {Ingo Battenfeld and
                  Klaus Keimel and
                  Thomas Streicher},
  title        = {Observationally-induced algebras in Domain Theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:18)2014},
  doi          = {10.2168/LMCS-10(3:18)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/StreicherKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TsaiFVT14,
  author       = {Ming{-}Hsien Tsai and
                  Seth Fogarty and
                  Moshe Y. Vardi and
                  Yih{-}Kuen Tsay},
  title        = {State of B{\"{u}}chi Complementation},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:13)2014},
  doi          = {10.2168/LMCS-10(4:13)2014},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/TsaiFVT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TurriniH14,
  author       = {Andrea Turrini and
                  Holger Hermanns},
  title        = {Cost Preserving Bisimulations for Probabilistic Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:11)2014},
  doi          = {10.2168/LMCS-10(4:11)2014},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/TurriniH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WeihrauchJ14,
  author       = {Klaus Weihrauch and
                  Tahereh Jafarikhah},
  title        = {Computable Jordan Decomposition of Linear Continuous Functionals on
                  {\textdollar}C[0;1]{\textdollar}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:13)2014},
  doi          = {10.2168/LMCS-10(3:13)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WeihrauchJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WeihrauchT14,
  author       = {Klaus Weihrauch and
                  Nazanin Roshandel Tavana},
  title        = {Representations of measurable sets in computable measure theory},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:7)2014},
  doi          = {10.2168/LMCS-10(3:7)2014},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WeihrauchT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZanklK14,
  author       = {Harald Zankl and
                  Martin Korp},
  title        = {Modular Complexity Analysis for Term Rewriting},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:19)2014},
  doi          = {10.2168/LMCS-10(1:19)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZanklK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zhou14h,
  author       = {Chunlai Zhou},
  title        = {Probability Logic for Harsanyi Type Spaces},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:13)2014},
  doi          = {10.2168/LMCS-10(2:13)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Zhou14h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-2897,
  author       = {Ali Assaf and
                  Alejandro D{\'{\i}}az{-}Caro and
                  Simon Perdrix and
                  Christine Tasson and
                  Beno{\^{\i}}t Valiron},
  title        = {Call-by-value, call-by-name and the vectorial behaviour of the algebraic
                  {\(\lambda\)}-calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:8)2014},
  doi          = {10.2168/LMCS-10(4:8)2014},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-2897.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-2719,
  author       = {A. C. Cem Say and
                  Abuzer Yakaryilmaz},
  title        = {Finite state verifiers with constant randomness},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:6)2014},
  doi          = {10.2168/LMCS-10(3:6)2014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-2719.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3489,
  author       = {Tom{\'{a}}s Br{\'{a}}zdil and
                  V{\'{a}}clav Brozek and
                  Krishnendu Chatterjee and
                  Vojtech Forejt and
                  Anton{\'{\i}}n Kucera},
  title        = {Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:13)2014},
  doi          = {10.2168/LMCS-10(1:13)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1104-3489.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0919,
  author       = {Stefan G{\"{o}}ller and
                  Markus Lohrey},
  title        = {The First-Order Theory of Ground Tree Rewrite Graphs},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:7)2014},
  doi          = {10.2168/LMCS-10(1:7)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-0919.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0674,
  author       = {Jan Foniok},
  title        = {On Ramsey properties of classes with forbidden trees},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:9)2014},
  doi          = {10.2168/LMCS-10(3:9)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0674.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-0663,
  author       = {Nathana{\"{e}}l Fijalkow and
                  Martin Zimmermann},
  title        = {Parity and Streett Games with Costs},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:14)2014},
  doi          = {10.2168/LMCS-10(2:14)2014},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-0663.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-5669,
  author       = {Olivier Finkel},
  title        = {Ambiguity of omega-Languages of Turing Machines},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:12)2014},
  doi          = {10.2168/LMCS-10(3:12)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-5669.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-3321,
  author       = {Johannes Ebbing and
                  Juha Kontinen and
                  Julian{-}Steffen M{\"{u}}ller and
                  Heribert Vollmer},
  title        = {A Fragment of Dependence Logic Capturing Polynomial Time},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:3)2014},
  doi          = {10.2168/LMCS-10(3:3)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-3321.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-0401,
  author       = {J{\"{o}}rg Endrullis and
                  Dimitri Hendriks and
                  Jan Willem Klop and
                  Andrew Polonsky},
  title        = {Discriminating Lambda-Terms Using Clocked Boehm Trees},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:4)2014},
  doi          = {10.2168/LMCS-10(2:4)2014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-0401.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-4288,
  author       = {Beno{\^{\i}}t Delahaye and
                  Uli Fahrenberg and
                  Kim G. Larsen and
                  Axel Legay},
  title        = {Refinement and Difference for Probabilistic Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:11)2014},
  doi          = {10.2168/LMCS-10(3:11)2014},
  timestamp    = {Sun, 16 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-4288.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5500,
  author       = {Christoph Haase and
                  Sylvain Schmitz and
                  Philippe Schnoebelen},
  title        = {The Power of Priority Channel Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:4)2014},
  doi          = {10.2168/LMCS-10(4:4)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-5500.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-2762,
  author       = {Marius Bozga and
                  Radu Iosif and
                  Filip Konecn{\'{y}}},
  title        = {Deciding Conditional Termination},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:8)2014},
  doi          = {10.2168/LMCS-10(3:8)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-2762.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4266,
  author       = {Michael Lampis},
  title        = {Model Checking Lower Bounds for Simple Graphs},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:18)2014},
  doi          = {10.2168/LMCS-10(1:18)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-4266.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kreuzer14,
  author       = {Alexander P. Kreuzer},
  title        = {Bounded variation and the strength of Helly's selection theorem},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {4},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(4:16)2014},
  doi          = {10.2168/LMCS-10(4:16)2014},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Kreuzer14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics