Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/lmcs/lmcs9.bht:"
download as .bib file
@article{DBLP:journals/corr/AbdullaM13,
author = {Parosh Aziz Abdulla and
Richard Mayr},
title = {Priced Timed Petri Nets},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:10)2013},
doi = {10.2168/LMCS-9(4:10)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbdullaM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AvanziniM13,
author = {Martin Avanzini and
Georg Moser},
title = {Polynomial Path Orders},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:9)2013},
doi = {10.2168/LMCS-9(4:9)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AvanziniM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BalaguerC13,
author = {Sandie Balaguer and
Thomas Chatain},
title = {Avoiding Shared Clocks in Networks of Timed Automata},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:13)2013},
doi = {10.2168/LMCS-9(4:13)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BalaguerC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BernadetL13,
author = {Alexis Bernadet and
St{\'{e}}phane Lengrand},
title = {Non-idempotent intersection types and strong normalisation},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:3)2013},
doi = {10.2168/LMCS-9(4:3)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernadetL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bes13,
author = {Alexis B{\`{e}}s},
title = {Expansions of {MSO} by cardinality relations},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:18)2013},
doi = {10.2168/LMCS-9(4:18)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bes13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BilkovaKPV13,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
title = {Relation lifting, with an application to the many-valued cover modality},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:8)2013},
doi = {10.2168/LMCS-9(4:8)2013},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BilkovaKPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BirkedalBS13,
author = {Lars Birkedal and
Ales Bizjak and
Jan Schwinghammer},
title = {Step-Indexed Relational Reasoning for Countable Nondeterminism},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:4)2013},
doi = {10.2168/LMCS-9(4:4)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BirkedalBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonnetCMV13,
author = {R{\'{e}}mi Bonnet and
Rohit Chadha and
P. Madhusudan and
Mahesh Viswanathan},
title = {Reachability under Contextual Locking},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:21)2013},
doi = {10.2168/LMCS-9(3:21)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonnetCMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgstromGGMG13,
author = {Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Michael Greenberg and
James Margetson and
Jurgen Van Gael},
title = {Measure Transformer Semantics for Bayesian Machine Learning},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:11)2013},
doi = {10.2168/LMCS-9(3:11)2013},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BorgstromGGMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BowlerGLS13,
author = {Nathan J. Bowler and
Sergey Goncharov and
Paul Blain Levy and
Lutz Schr{\"{o}}der},
title = {Exploring the Boundaries of Monad Tensorability on Set},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:22)2013},
doi = {10.2168/LMCS-9(3:22)2013},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BowlerGLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BruniMMS13,
author = {Roberto Bruni and
Hern{\'{a}}n C. Melgratti and
Ugo Montanari and
Pawel Sobocinski},
title = {Connector algebras for {C/E} and {P/T} nets' interactions},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:16)2013},
doi = {10.2168/LMCS-9(3:16)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruniMMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CarraroS13,
author = {Alberto Carraro and
Antonino Salibra},
title = {Ordered Models of the Lambda Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:21)2013},
doi = {10.2168/LMCS-9(4:21)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CarraroS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaseJSS13,
author = {John Case and
Sanjay Jain and
Samuel Seah and
Frank Stephan},
title = {Automatic functions, linear time and learning},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:19)2013},
doi = {10.2168/LMCS-9(3:19)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaseJSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CeroneH13,
author = {Andrea Cerone and
Matthew Hennessy},
title = {Modelling Probabilistic Wireless Networks},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:26)2013},
doi = {10.2168/LMCS-9(3:26)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CeroneH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CzerwinskiHL13,
author = {Wojciech Czerwinski and
Piotr Hofman and
Slawomir Lasota},
title = {Reachability Problem for Weak Multi-Pushdown Automata},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:13)2013},
doi = {10.2168/LMCS-9(3:13)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CzerwinskiHL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Filmus13,
author = {Yuval Filmus},
title = {Universal codes of the natural numbers},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:7)2013},
doi = {10.2168/LMCS-9(3:7)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Filmus13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FouquereQ13,
author = {Christophe Fouquer{\'{e}} and
Myriam Quatrini},
title = {Incarnation in Ludics and maximal cliques of paths},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:6)2013},
doi = {10.2168/LMCS-9(4:6)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FouquereQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FriedmannLL13,
author = {Oliver Friedmann and
Markus Latte and
Martin Lange},
title = {Satisfiability Games for Branching-Time Logics},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:5)2013},
doi = {10.2168/LMCS-9(4:5)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FriedmannLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Gassner13,
author = {Christine Ga{\ss}ner},
title = {Strong Turing Degrees for Additive {BSS} RAM's},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:25)2013},
doi = {10.2168/LMCS-9(4:25)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gassner13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhaniJF13,
author = {Neil Ghani and
Patricia Johann and
Cl{\'{e}}ment Fumex},
title = {Indexed Induction and Coinduction, Fibrationally},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:6)2013},
doi = {10.2168/LMCS-9(3:6)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GhaniJF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekGS13,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
title = {On Characterising Distributability},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:17)2013},
doi = {10.2168/LMCS-9(3:17)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GotsmanY13,
author = {Alexey Gotsman and
Hongseok Yang},
title = {Linearizability with Ownership Transfer},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:12)2013},
doi = {10.2168/LMCS-9(3:12)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GotsmanY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HetzlS13,
author = {Stefan Hetzl and
Lutz Stra{\ss}burger},
title = {Herbrand-Confluence},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:24)2013},
doi = {10.2168/LMCS-9(4:24)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HetzlS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hirschowitz13,
author = {Tom Hirschowitz},
title = {Cartesian closed 2-categories and permutation equivalence in higher-order
rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:10)2013},
doi = {10.2168/LMCS-9(3:10)2013},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hirschowitz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Iljazovic13,
author = {Zvonko Iljazovic},
title = {Compact manifolds with computable boundaries},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:19)2013},
doi = {10.2168/LMCS-9(4:19)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Iljazovic13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jacobs13,
author = {Bart Jacobs},
title = {Bases as Coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:23)2013},
doi = {10.2168/LMCS-9(3:23)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Jacobs13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KerstanK13,
author = {Henning Kerstan and
Barbara K{\"{o}}nig},
title = {Coalgebraic Trace Semantics for Continuous Probabilistic Transition
Systems},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:16)2013},
doi = {10.2168/LMCS-9(4:16)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KerstanK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KhomenkoMH13,
author = {Victor Khomenko and
Roland Meyer and
Reiner H{\"{u}}chting},
title = {A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:18)2013},
doi = {10.2168/LMCS-9(3:18)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KhomenkoMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KurzP13,
author = {Alexander Kurz and
Alessandra Palmigiano},
title = {Epistemic Updates on Algebras},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:17)2013},
doi = {10.2168/LMCS-9(4:17)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KurzP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KurzPSV13,
author = {Alexander Kurz and
Daniela Petrisan and
Paula Severi and
Fer{-}Jan de Vries},
title = {Nominal Coalgebraic Data Types with Applications to Lambda Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:20)2013},
doi = {10.2168/LMCS-9(4:20)2013},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KurzPSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuusistoMV13,
author = {Antti Kuusisto and
Jeremy Meyers and
Jonni Virtema},
title = {Undecidable First-Order Theories of Affine Geometries},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:26)2013},
doi = {10.2168/LMCS-9(4:26)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuusistoMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LangL13,
author = {Martin Lang and
Christof L{\"{o}}ding},
title = {Modeling and Verification of Infinite Systems with Resources},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:22)2013},
doi = {10.2168/LMCS-9(4:22)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LangL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LangM13,
author = {Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu},
title = {Partial Model Checking using Networks of Labelled Transition Systems
and Boole an Equation Systems},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:1)2013},
doi = {10.2168/LMCS-9(4:1)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LangM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Leivant13,
author = {Daniel Leivant},
title = {Alternating Turing machines for inductive languages},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:29)2013},
doi = {10.2168/LMCS-9(3:29)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Leivant13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LuttgenV13,
author = {Gerald L{\"{u}}ttgen and
Walter Vogler},
title = {Modal Interface Automata},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:4)2013},
doi = {10.2168/LMCS-9(3:4)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LuttgenV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Mennicke13,
author = {Roy Mennicke},
title = {Propositional Dynamic Logic with Converse and Repeat for Message-Passing
Systems},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:12)2013},
doi = {10.2168/LMCS-9(2:12)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Mennicke13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Mikulski13,
author = {Lukasz Mikulski},
title = {Algebraic Structure of Combined Traces},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:8)2013},
doi = {10.2168/LMCS-9(3:8)2013},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Mikulski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiliusMS13,
author = {Stefan Milius and
Lawrence S. Moss and
Daniel Schwencke},
title = {Abstract {GSOS} Rules and a Modular Treatment of Recursive Definitions},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:28)2013},
doi = {10.2168/LMCS-9(3:28)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiliusMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoriTY13,
author = {Takakazu Mori and
Yoshiki Tsujii and
Mariko Yasugi},
title = {Computability of Probability Distributions and Characteristic Functions},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:9)2013},
doi = {10.2168/LMCS-9(3:9)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoriTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Nordstrom13,
author = {Jakob Nordstr{\"{o}}m},
title = {Pebble Games, Proof Complexity, and Time-Space Trade-offs},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:15)2013},
doi = {10.2168/LMCS-9(3:15)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Nordstrom13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PlotkinP13,
author = {Gordon D. Plotkin and
Matija Pretnar},
title = {Handling Algebraic Effects},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:23)2013},
doi = {10.2168/LMCS-9(4:23)2013},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PlotkinP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RettingerW13,
author = {Robert Rettinger and
Klaus Weihrauch},
title = {Products of effective topological spaces and a uniformly computable
Tychonoff Theorem},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:14)2013},
doi = {10.2168/LMCS-9(4:14)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RettingerW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Schuster13,
author = {Peter Schuster},
title = {Induction in Algebra: a First Case Study},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:20)2013},
doi = {10.2168/LMCS-9(3:20)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Schuster13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SegoufinC13,
author = {Luc Segoufin and
Balder ten Cate},
title = {Unary negation},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:25)2013},
doi = {10.2168/LMCS-9(3:25)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SegoufinC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Skordev13,
author = {Dimiter Skordev},
title = {Approximation systems for functions in topological and in metric spaces},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:15)2013},
doi = {10.2168/LMCS-9(4:15)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Skordev13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Valmari13a,
author = {Antti Valmari},
title = {All Linear-Time Congruences for Familiar Operators},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:11)2013},
doi = {10.2168/LMCS-9(4:11)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Valmari13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wang13g,
author = {Zi Chao Wang},
title = {Implicit Resolution},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:7)2013},
doi = {10.2168/LMCS-9(4:7)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wang13g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WinterBR13,
author = {Joost Winter and
Marcello M. Bonsangue and
Jan J. M. M. Rutten},
title = {Coalgebraic Characterizations of Context-Free Languages},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:14)2013},
doi = {10.2168/LMCS-9(3:14)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WinterBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-0821,
author = {Bj{\o}rn Kjos{-}Hanssen},
title = {Recovering randomness from an asymptotic Hamming distance},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:27)2013},
doi = {10.2168/LMCS-9(3:27)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-0821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-2181,
author = {Lei Song and
Lijun Zhang and
Jens Chr. Godskesen},
title = {Bisimulations Meet {PCTL} Equivalences for Probabilistic Automata},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:7)2013},
doi = {10.2168/LMCS-9(2:7)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-2181.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0221,
author = {John Fearnley and
Sven Schewe},
title = {Time and Space Results for Parity Games with Bounded Treewidth},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:6)2013},
doi = {10.2168/LMCS-9(2:6)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5495,
author = {Martin Huschenbett and
Alexander Kartzow and
Jiamou Liu and
Markus Lohrey},
title = {Tree-Automatic Well-Founded Trees},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:10)2013},
doi = {10.2168/LMCS-9(2:10)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-5495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2652,
author = {Vladimir V. Podolskii},
title = {Lower Bound on Weights of Large Degree Threshold Functions},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:13)2013},
doi = {10.2168/LMCS-9(2:13)2013},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-2652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-3022,
author = {Anuj Dawar and
Erich Gr{\"{a}}del and
Bjarki Holm and
Eryk Kopczynski and
Wied Pakusa},
title = {Definability of linear equation systems over groups and rings},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:12)2013},
doi = {10.2168/LMCS-9(4:12)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-3022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-0679,
author = {Christoph Berkholz},
title = {Lower Bounds for Existential Pebble Games and k-Consistency Tests},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:2)2013},
doi = {10.2168/LMCS-9(4:2)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-0679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-6937,
author = {Thomas Colcombet},
title = {Regular Cost Functions, Part {I:} Logic and Algebra over Words},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:3)2013},
doi = {10.2168/LMCS-9(3:3)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-6937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4874,
author = {J{\'{e}}r{\^{o}}me Leroux},
title = {Vector Addition System Reversible Reachability Problem},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:5)2013},
doi = {10.2168/LMCS-9(1:5)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1046,
author = {Alexandra Silva and
Filippo Bonchi and
Marcello M. Bonsangue and
Jan J. M. M. Rutten},
title = {Generalizing determinization from automata to coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:9)2013},
doi = {10.2168/LMCS-9(1:9)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-1046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-2675,
author = {Seth Fogarty and
Orna Kupferman and
Thomas Wilke and
Moshe Y. Vardi},
title = {Unifying B{\"{u}}chi Complementation Constructions},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:13)2013},
doi = {10.2168/LMCS-9(1:13)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-2675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-2818,
author = {Stefan Kiefer and
Andrzej S. Murawski and
Jo{\"{e}}l Ouaknine and
Bj{\"{o}}rn Wachter and
James Worrell},
title = {On the Complexity of Equivalence and Minimisation for Q-weighted Automata},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:8)2013},
doi = {10.2168/LMCS-9(1:8)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-2818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3973,
author = {St{\'{e}}phane Le Roux},
title = {Infinite sequential Nash equilibrium},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:3)2013},
doi = {10.2168/LMCS-9(2:3)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-5765,
author = {Daisuke Kimura and
Makoto Tatsuta},
title = {Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive
Types},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:14)2013},
doi = {10.2168/LMCS-9(1:14)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-5765.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6960,
author = {Luis Bargu{\~{n}}{\'{o}} and
Carles Creus and
Guillem Godoy and
Florent Jacquemard and
Camille Vacher},
title = {Decidable Classes of Tree Automata Mixing Local and Global Constraints
Modulo Flat Theories},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:1)2013},
doi = {10.2168/LMCS-9(2:1)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-2453,
author = {Alexander Kartzow},
title = {Collapsible Pushdown Graphs of Level 2 are Tree-Automatic},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:12)2013},
doi = {10.2168/LMCS-9(1:12)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4533,
author = {Michael Benedikt and
Rastislav Lenhardt and
James Worrell},
title = {Two Variable vs. Linear Temporal Logic in Model Checking and Games},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:4)2013},
doi = {10.2168/LMCS-9(2:4)2013},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-4533.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-5956,
author = {Sebastian Preugschat and
Thomas Wilke},
title = {Effective Characterizations of Simple Fragments of Temporal Logic
Using Carton--Michel Automata},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:8)2013},
doi = {10.2168/LMCS-9(2:8)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-5956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-6075,
author = {Sebastian M{\"{u}}ller},
title = {Polylogarithmic Cuts in Models of {V0}},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(1:16)2013},
doi = {10.2168/LMCS-9(1:16)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-6075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1239,
author = {Victor L. Selivanov},
title = {Total Representations},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:5)2013},
doi = {10.2168/LMCS-9(2:5)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4150,
author = {Pablo Barcel{\'{o}} and
Diego Figueira and
Leonid Libkin},
title = {Graph Logics with Rational Relations},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:1)2013},
doi = {10.2168/LMCS-9(3:1)2013},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-4150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6574,
author = {David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Miguel Palomino and
David Romero{-}Hern{\'{a}}ndez},
title = {Unifying the Linear Time-Branching Time Spectrum of Process Semantics},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:11)2013},
doi = {10.2168/LMCS-9(2:11)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-6574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7394,
author = {Jo{\"{e}}l Ouaknine and
Hristina Palikareva and
A. W. Roscoe and
James Worrell},
title = {A Static Analysis Framework for Livelock Freedom in {CSP}},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:24)2013},
doi = {10.2168/LMCS-9(3:24)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0576,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss and
Lurdes Sousa},
title = {Well-Pointed Coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:2)2013},
doi = {10.2168/LMCS-9(3:2)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-3530,
author = {George Metcalfe and
Christoph R{\"{o}}thlisberger},
title = {Admissibility in Finitely Generated Quasivarieties},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:9)2013},
doi = {10.2168/LMCS-9(2:9)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-3530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-5239,
author = {Samy Abbes},
title = {Markov two-components processes},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:14)2013},
doi = {10.2168/LMCS-9(2:14)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-5239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Weihrauch13,
author = {Klaus Weihrauch},
title = {Computably regular topological spaces},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:5)2013},
doi = {10.2168/LMCS-9(3:5)2013},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Weihrauch13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6346,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Julie {De Pril} and
Hugo Gimbert},
title = {On Subgame Perfection in Quantitative Reachability Games},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:7)2013},
doi = {10.2168/LMCS-9(1:7)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2479,
author = {Petr Jancar},
title = {Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit
proof)},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:10)2013},
doi = {10.2168/LMCS-9(1:10)2013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-2479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-6696,
author = {Hubie Chen and
Moritz M{\"{u}}ller},
title = {An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified
Constraint Satisfaction},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:15)2013},
doi = {10.2168/LMCS-9(1:15)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-6696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-0865,
author = {Aaron Stump and
Hans Zantema and
Garrin Kimmell and
Roba El Haj Omar},
title = {A Rewriting View of Simple Typing},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:4)2013},
doi = {10.2168/LMCS-9(1:4)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-0865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4651,
author = {Fran{\c{c}}ois Laroussinie and
Antoine Meyer and
Eudes Petonnet},
title = {Counting {CTL}},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:3)2013},
doi = {10.2168/LMCS-9(1:3)2013},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-6567,
author = {Martin Grohe and
Berit Gru{\ss}ien and
Andr{\'{e}} Hernich and
Bastian Laubner},
title = {L-Recursion and a new Logic for Logarithmic Space},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:11)2013},
doi = {10.2168/LMCS-9(1:11)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-6567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-0112,
author = {Kojiro Higuchi and
Arno Pauly},
title = {The degree structure of Weihrauch-reducibility},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-9(2:2)2013},
doi = {10.2168/LMCS-9(2:2)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-0112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1850,
author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
B. Srivathsan},
title = {Coarse abstractions make Zeno behaviours difficult to detect},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-9(1:6)2013},
doi = {10.2168/LMCS-9(1:6)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3448,
author = {Robbert Krebbers and
Bas Spitters},
title = {Type classes for efficient exact real arithmetic in Coq},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-9(1:01)2013},
doi = {10.2168/LMCS-9(1:01)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-5505,
author = {Ren{\'{e}} David and
Christophe Raffalli and
Guillaume Theyssier and
Katarzyna Grygiel and
Jakub Kozik and
Marek Zaionc},
title = {Some properties of random lambda terms},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2009},
url = {https://doi.org/10.2168/LMCS-9(1:2)2013},
doi = {10.2168/LMCS-9(1:2)2013},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-5505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-05 22:34 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
