Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/lmcs/lmcs10.bht:"
@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} }
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.