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/lmcs13.bht:"
download as .bib file
@article{DBLP:journals/corr/BottaJICB16,
author = {Nicola Botta and
Patrik Jansson and
Cezar Ionescu and
David R. Christiansen and
Edwin C. Brady},
title = {Sequential decision problems, dependent types and generic solutions},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:7)2017},
doi = {10.23638/LMCS-13(1:7)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BottaJICB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GenetS16,
author = {Thomas Genet and
Yann Salmon},
title = {Reachability Analysis of Innermost Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:12)2017},
doi = {10.23638/LMCS-13(1:12)2017},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GenetS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HansenKR16,
author = {Helle Hvid Hansen and
Clemens Kupke and
Jan Rutten},
title = {Stream Differential Equations: Specification Formats and Solution
Methods},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:3)2017},
doi = {10.23638/LMCS-13(1:3)2017},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HansenKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KeimelP16,
author = {Klaus Keimel and
Gordon D. Plotkin},
title = {Mixed powerdomains for probability and nondeterminism},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:2)2017},
doi = {10.23638/LMCS-13(1:2)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KeimelP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KieferMW14,
author = {Stefan Kiefer and
Ines Marusic and
James Worrell},
title = {Minimisation of Multiplicity Tree Automata},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:16)2017},
doi = {10.23638/LMCS-13(1:16)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KieferMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KopMS15,
author = {Cynthia Kop and
Aart Middeldorp and
Thomas Sternagel},
title = {Complexity of Conditional Term Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:6)2017},
doi = {10.23638/LMCS-13(1:6)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KopMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Krajicek16,
author = {Jan Kraj{\'{\i}}cek},
title = {A feasible interpolation for random resolution},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:5)2017},
doi = {10.23638/LMCS-13(1:5)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Krajicek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrajicekO16,
author = {Jan Kraj{\'{\i}}cek and
Igor C. Oliveira},
title = {Unprovability of circuit upper bounds in Cook's theory {PV}},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:4)2017},
doi = {10.23638/LMCS-13(1:4)2017},
timestamp = {Tue, 30 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KrajicekO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrausECA16,
author = {Nicolai Kraus and
Mart{\'{\i}}n Escard{\'{o}} and
Thierry Coquand and
Thorsten Altenkirch},
title = {Notions of Anonymous Existence in Martin-L{\"{o}}f Type Theory},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:15)2017},
doi = {10.23638/LMCS-13(1:15)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KrausECA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Lluch-LafuenteL16,
author = {Alberto Lluch{-}Lafuente and
Michele Loreti and
Ugo Montanari},
title = {Asynchronous Distributed Execution Of Fixpoint-Based Computational
Fields},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:13)2017},
doi = {10.23638/LMCS-13(1:13)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lluch-LafuenteL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MogaveroMPV16,
author = {Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Moshe Y. Vardi},
title = {Reasoning about Strategies: on the Satisfiability Problem},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:9)2017},
doi = {10.23638/LMCS-13(1:9)2017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MogaveroMPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NeykovaY16,
author = {Rumyana Neykova and
Nobuko Yoshida},
title = {Multiparty Session Actors},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:17)2017},
doi = {10.23638/LMCS-13(1:17)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NeykovaY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PredaGGLM16,
author = {Mila Dalla Preda and
Maurizio Gabbrielli and
Saverio Giallorenzo and
Ivan Lanese and
Jacopo Mauro},
title = {Dynamic Choreographies: Theory And Implementation},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:1)2017},
doi = {10.23638/LMCS-13(2:1)2017},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PredaGGLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SabelZ16,
author = {David Sabel and
Hans Zantema},
title = {Termination of Cycle Rewriting by Transformation and Matrix Interpretation},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:11)2017},
doi = {10.23638/LMCS-13(1:11)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SabelZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SalvatiW16,
author = {Sylvain Salvati and
Igor Walukiewicz},
title = {Typing weak {MSOL} properties},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:14)2017},
doi = {10.23638/LMCS-13(1:14)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SalvatiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Sureson16,
author = {Claude Sureson},
title = {Subcomputable Schnorr Randomness},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:2)2017},
doi = {10.23638/LMCS-13(2:2)2017},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Sureson16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/00010P17,
author = {Yusuke Kawamoto and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {On the Compositionality of Quantitative Information Flow},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:11)2017},
doi = {10.23638/LMCS-13(3:11)2017},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/00010P17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/000117,
author = {Bart Jacobs},
title = {A Recipe for State-and-Effect Triangles},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:6)2017},
doi = {10.23638/LMCS-13(2:6)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/000117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/000117a,
author = {Bart Jacobs},
title = {Hyper Normalisation and Conditioning for Discrete Probability Distributions},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:17)2017},
doi = {10.23638/LMCS-13(3:17)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/000117a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AdamDO17,
author = {Elie M. Adam and
Munther A. Dahleh and
Asuman E. Ozdaglar},
title = {Towards an Algebra for Cascade Effects},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:1)2017},
doi = {10.23638/LMCS-13(3:1)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AdamDO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AltenkirchK17,
author = {Thorsten Altenkirch and
Ambrus Kaposi},
title = {Normalisation by Evaluation for Type Theory, in Type Theory},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:1)2017},
doi = {10.23638/LMCS-13(4:1)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AltenkirchK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AltisenCD17,
author = {Karine Altisen and
Pierre Corbineau and
St{\'{e}}phane Devismes},
title = {A Framework for Certified Self-Stabilization},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:14)2017},
doi = {10.23638/LMCS-13(4:14)2017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AltisenCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AristizabalBLP17,
author = {Andr{\'{e}}s Aristiz{\'{a}}bal and
Dariusz Biernacki and
Sergue{\"{\i}} Lenglet and
Piotr Polesiuk},
title = {Environmental Bisimulations for Delimited-Control Operators with Dynamic
Prompt Generation},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:27)2017},
doi = {10.23638/LMCS-13(3:27)2017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AristizabalBLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ArrighiD17,
author = {Pablo Arrighi and
Gilles Dowek},
title = {Lineal: {A} linear-algebraic Lambda-calculus},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:8)2017},
doi = {10.23638/LMCS-13(1:8)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ArrighiD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Bacci0LM17,
author = {Giorgio Bacci and
Giovanni Bacci and
Kim G. Larsen and
Radu Mardare},
title = {On-the-Fly Computation of Bisimilarity Distances},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:13)2017},
doi = {10.23638/LMCS-13(2:13)2017},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Bacci0LM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaeldeDH17,
author = {David Baelde and
St{\'{e}}phanie Delaune and
Lucca Hirschi},
title = {A Reduced Semantics for Deciding Trace Equivalence},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:8)2017},
doi = {10.23638/LMCS-13(2:8)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BaeldeDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Bagnol17,
author = {Marc Bagnol},
title = {Multiplicative-Additive Proof Equivalence is Logspace-complete, via
Binary Decision Trees},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:20)2017},
doi = {10.23638/LMCS-13(4:20)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Bagnol17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Barbanerad17,
author = {Franco Barbanera and
Ugo de'Liguoro},
title = {Retractability, games and orchestrators for session contracts},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:15)2017},
doi = {10.23638/LMCS-13(3:15)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Barbanerad17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiCM17,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Maurizio Murgia},
title = {Timed Session Types},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:25)2017},
doi = {10.23638/LMCS-13(4:25)2017},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BattyanyiN17,
author = {P{\'{e}}ter Batty{\'{a}}nyi and
Karim Nour},
title = {Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star-
calculi},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:34)2017},
doi = {10.23638/LMCS-13(3:34)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BattyanyiN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BergerS17,
author = {Josef Berger and
Helmut Schwichtenberg},
title = {A bound for Dickson's lemma},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:30)2017},
doi = {10.23638/LMCS-13(3:30)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BergerS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BeyersdorffCMS17,
author = {Olaf Beyersdorff and
Leroy Chew and
Meena Mahajan and
Anil Shukla},
title = {Feasible Interpolation for {QBF} Resolution Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:7)2017},
doi = {10.23638/LMCS-13(2:7)2017},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BeyersdorffCMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BhatBGR17,
author = {Sooraj Bhat and
Johannes Borgstr{\"{o}}m and
Andrew D. Gordon and
Claudio V. Russo},
title = {Deriving Probability Density Functions from Probabilistic Functional
Programs},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:16)2017},
doi = {10.23638/LMCS-13(2:16)2017},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BhatBGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlondinFM17,
author = {Michael Blondin and
Alain Finkel and
Pierre McKenzie},
title = {Well Behaved Transition Systems},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:24)2017},
doi = {10.23638/LMCS-13(3:24)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BlondinFM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BodeiDFG17,
author = {Chiara Bodei and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Letterio Galletta},
title = {Tracing where IoT data are collected and aggregated},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:5)2017},
doi = {10.23638/LMCS-13(3:5)2017},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BodeiDFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BojanczykC17,
author = {Mikolaj Bojanczyk and
Thomas Colcombet},
title = {Boundedness in languages of infinite words},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:3)2017},
doi = {10.23638/LMCS-13(4:3)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BojanczykC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BrunetP17,
author = {Paul Brunet and
Damien Pous},
title = {Petri Automata},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:33)2017},
doi = {10.23638/LMCS-13(3:33)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BrunetP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastellanCD17,
author = {Simon Castellan and
Pierre Clairambault and
Peter Dybjer},
title = {Undecidability of Equality in the Free Locally Cartesian Closed Category
(Extended version)},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:22)2017},
doi = {10.23638/LMCS-13(4:22)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CastellanCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastellanCRW17,
author = {Simon Castellan and
Pierre Clairambault and
Silvain Rideau and
Glynn Winskel},
title = {Games and Strategies as Event Structures},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:35)2017},
doi = {10.23638/LMCS-13(3:35)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CastellanCRW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ChatterjeeHIO17,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Rasmus Ibsen{-}Jensen and
Jan Otop},
title = {Edit Distance for Pushdown Automata},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:23)2017},
doi = {10.23638/LMCS-13(3:23)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ChatterjeeHIO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ChatterjeeHL17,
author = {Krishnendu Chatterjee and
Monika Henzinger and
Veronika Loitzenbauer},
title = {Improved Algorithms for Parity and Streett objectives},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:26)2017},
doi = {10.23638/LMCS-13(3:26)2017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/ChatterjeeHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ChatterjeeKK17,
author = {Krishnendu Chatterjee and
Zuzana Kret{\'{\i}}nsk{\'{a}} and
Jan Kret{\'{\i}}nsk{\'{y}}},
title = {Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision
Processes},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:15)2017},
doi = {10.23638/LMCS-13(2:15)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ChatterjeeKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ChenDSY17,
author = {Tzu{-}Chun Chen and
Mariangiola Dezani{-}Ciancaglini and
Alceste Scalas and
Nobuko Yoshida},
title = {On the Preciseness of Subtyping in Session Types},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:12)2017},
doi = {10.23638/LMCS-13(2:12)2017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ChenDSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CirsteaLM17,
author = {Horatiu Cirstea and
Sergue{\"{\i}} Lenglet and
Pierre{-}Etienne Moreau},
title = {Faithful (meta-)encodings of programmable strategies into term rewriting
systems},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:16)2017},
doi = {10.23638/LMCS-13(4:16)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CirsteaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ClementinoF17,
author = {Maria Manuel Clementino and
Ignacio L{\'{o}}pez Franco},
title = {Lax orthogonal factorisations in monad-quantale-enriched categories},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:32)2017},
doi = {10.23638/LMCS-13(3:32)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ClementinoF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CooperZ17,
author = {Martin C. Cooper and
Stanislav Zivn{\'{y}}},
title = {The Power of Arc Consistency for CSPs Defined by Partially-Ordered
Forbidden Patterns},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:26)2017},
doi = {10.23638/LMCS-13(4:26)2017},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CooperZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CoquandM17,
author = {Thierry Coquand and
Bassel Mannaa},
title = {The Independence of Markov's Principle in Type Theory},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:10)2017},
doi = {10.23638/LMCS-13(3:10)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CoquandM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Courcelle17,
author = {Bruno Courcelle},
title = {Algebraic and logical descriptions of generalized trees},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:7)2017},
doi = {10.23638/LMCS-13(3:7)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Courcelle17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CurienM17,
author = {Pierre{-}Louis Curien and
Samuel Mimram},
title = {Coherent Presentations of Monoidal Categories},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:31)2017},
doi = {10.23638/LMCS-13(3:31)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CurienM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DawarK17,
author = {Anuj Dawar and
Eryk Kopczynski},
title = {Bounded degree and planar spectra},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:6)2017},
doi = {10.23638/LMCS-13(4:6)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DawarK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DevriesePPK17,
author = {Dominique Devriese and
Marco Patrignani and
Frank Piessens and
Steven Keuchel},
title = {Modular, Fully-abstract Compilation by Approximate Back-translation},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:2)2017},
doi = {10.23638/LMCS-13(4:2)2017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DevriesePPK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DudenhefnerMR17,
author = {Andrej Dudenhefner and
Moritz Martens and
Jakob Rehof},
title = {The Algebraic Intersection Type Unification Problem},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:9)2017},
doi = {10.23638/LMCS-13(3:9)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DudenhefnerMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/EberhartHS17,
author = {Clovis Eberhart and
Tom Hirschowitz and
Thomas Seiller},
title = {An intensionally fully-abstract sheaf model for {\(\pi\)} (expanded
version)},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:9)2017},
doi = {10.23638/LMCS-13(4:9)2017},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/EberhartHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/EnqvistSV17,
author = {Sebastian Enqvist and
Fatemeh Seifan and
Yde Venema},
title = {An expressive completeness theorem for coalgebraic modal mu-calculi},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:14)2017},
doi = {10.23638/LMCS-13(2:14)2017},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/EnqvistSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FengLQ17,
author = {Shiguang Feng and
Markus Lohrey and
Karin Quaas},
title = {Path Checking for {MTL} and {TPTL} over Data Words},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:19)2017},
doi = {10.23638/LMCS-13(3:19)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FengLQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FigueiraS17,
author = {Diego Figueira and
Luc Segoufin},
title = {Bottom-up automata on data trees and vertical XPath},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:5)2017},
doi = {10.23638/LMCS-13(4:5)2017},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FigueiraS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FrielinghausPS17,
author = {Stefan Schulze Frielinghaus and
Michael Petter and
Helmut Seidl},
title = {Inter-procedural Two-Variable Herbrand Equalities},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:5)2017},
doi = {10.23638/LMCS-13(2:5)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FrielinghausPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Frutos-EscrigKW17,
author = {David de Frutos{-}Escrig and
Jeroen J. A. Keiren and
Tim A. C. Willemse},
title = {Games for Bisimulations and Abstraction},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:15)2017},
doi = {10.23638/LMCS-13(4:15)2017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Frutos-EscrigKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Fu17,
author = {Yuxi Fu},
title = {The Universal Process},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:11)2017},
doi = {10.23638/LMCS-13(4:11)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Fu17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Georgiev17,
author = {Ivan Georgiev},
title = {Characterization theorem for the conditionally computable real functions},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:3)2017},
doi = {10.23638/LMCS-13(3:3)2017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Georgiev17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Goubault-Larrecq17,
author = {Jean Goubault{-}Larrecq and
Kok Min Ng},
title = {A Few Notes on Formal Balls},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:18)2017},
doi = {10.23638/LMCS-13(4:18)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Goubault-Larrecq17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GranRN17,
author = {Marino Gran and
Diana Rodelo and
Idriss Tchoffo Nguefeu},
title = {Some remarks on connectors and groupoids in Goursat categories},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:14)2017},
doi = {10.23638/LMCS-13(3:14)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GranRN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GuerrieriPR17,
author = {Giulio Guerrieri and
Luca Paolini and
Simona Ronchi Della Rocca},
title = {Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:29)2017},
doi = {10.23638/LMCS-13(4:29)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GuerrieriPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Hamana17,
author = {Makoto Hamana},
title = {Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic
Theories},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:8)2017},
doi = {10.23638/LMCS-13(4:8)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Hamana17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HenrioR17,
author = {Ludovic Henrio and
Justine Rochas},
title = {Multiactive objects and their applications},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:12)2017},
doi = {10.23638/LMCS-13(4:12)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HenrioR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HetzlW17,
author = {Stefan Hetzl and
Tin Lok Wong},
title = {Some observations on the logical foundations of inductive theorem
proving},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:10)2017},
doi = {10.23638/LMCS-13(4:10)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HetzlW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HirschM17,
author = {Robin Hirsch and
Brett McLean},
title = {Disjoint-union partial algebras},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:10)2017},
doi = {10.23638/LMCS-13(2:10)2017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/HirschM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HofmannS17,
author = {Dirk Hofmann and
Lurdes Sousa},
title = {Aspects of algebraic Algebras},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:4)2017},
doi = {10.23638/LMCS-13(3:4)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HofmannS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HonsellLMS17,
author = {Furio Honsell and
Luigi Liquori and
Petar Maksimovic and
Ivan Scagnetto},
title = {LLF\({}_{\mbox{{\unicode{119979}}}}\): a logical framework for modeling
external evidence, side conditions, and proof irrelevance using monads},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:2)2017},
doi = {10.23638/LMCS-13(3:2)2017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/HonsellLMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Jancar17,
author = {Petr Jancar},
title = {Branching Bisimilarity of Normed {BPA} Processes as a Rational Monoid},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:17)2017},
doi = {10.23638/LMCS-13(4:17)2017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Jancar17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Kawai17,
author = {Tatsuji Kawai},
title = {Localic completion of uniform spaces},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:22)2017},
doi = {10.23638/LMCS-13(3:22)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Kawai17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KopS17,
author = {Cynthia Kop and
Jakob Grue Simonsen},
title = {Complexity Hierarchies and Higher-order Cons-free Term Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:8)2017},
doi = {10.23638/LMCS-13(3:8)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KopS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KorovinaK17,
author = {Margarita V. Korovina and
Oleg V. Kudinov},
title = {The Rice-Shapiro theorem in Computable Topology},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:30)2017},
doi = {10.23638/LMCS-13(4:30)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KorovinaK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KourtisP17,
author = {Georgios Kourtis and
Ian Pratt{-}Hartmann},
title = {Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment
with Counting},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:4)2017},
doi = {10.23638/LMCS-13(4:4)2017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KourtisP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KouzapasP17,
author = {Dimitrios Kouzapas and
Anna Philippou},
title = {Privacy by typing in the {\(\pi\)}-calculus},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:27)2017},
doi = {10.23638/LMCS-13(4:27)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KouzapasP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KudinovS17,
author = {Oleg V. Kudinov and
Victor L. Selivanov},
title = {First Order Theories of Some Lattices of Open Sets},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:16)2017},
doi = {10.23638/LMCS-13(3:16)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KudinovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LaiT17,
author = {Hongliang Lai and
Walter Tholen},
title = {A Note on the Topologicity of Quantale-Valued Topological Spaces},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:12)2017},
doi = {10.23638/LMCS-13(3:12)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LaiT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Laurent17,
author = {Olivier Laurent},
title = {Focusing in Orthologic},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:6)2017},
doi = {10.23638/LMCS-13(3:6)2017},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Laurent17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LiebermanR17,
author = {Michael J. Lieberman and
Jir{\'{\i}} Rosick{\'{y}}},
title = {Hanf numbers via accessible images},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:11)2017},
doi = {10.23638/LMCS-13(2:11)2017},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LiebermanR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LongoM17,
author = {Giuseppe Longo and
Ma{\"{e}}l Mont{\'{e}}vil},
title = {From Logic to Biology via Physics: a survey},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:21)2017},
doi = {10.23638/LMCS-13(4:21)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/LongoM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LutzW17,
author = {Carsten Lutz and
Frank Wolter},
title = {The Data Complexity of Description Logic Ontologies},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:7)2017},
doi = {10.23638/LMCS-13(4:7)2017},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/LutzW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Martins-Ferreira17,
author = {Nelson Martins{-}Ferreira and
Andrea Montoli and
Manuela Sobral},
title = {On some categorical-algebraic conditions in S-protomodular categories},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:18)2017},
doi = {10.23638/LMCS-13(3:18)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Martins-Ferreira17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NageleFZ17,
author = {Julian Nagele and
Bertram Felgenhauer and
Harald Zankl},
title = {Certifying Confluence Proofs via Relative Termination and Rule Labeling},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:4)2017},
doi = {10.23638/LMCS-13(2:4)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/NageleFZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NourZ17,
author = {Karim Nour and
Mohamad Ziadeh},
title = {A revised completeness result for the simply typed {\(\lambda\)}{\(\mu\)}-calculus
using realizability semantics},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:13)2017},
doi = {10.23638/LMCS-13(3:13)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/NourZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Porst17,
author = {Hans{-}E. Porst},
title = {Hopf and Lie algebras in semi-additive Varieties},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:3)2017},
doi = {10.23638/LMCS-13(2:3)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Porst17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Ranzato17,
author = {Francesco Ranzato},
title = {A new characterization of complete Heyting and co-Heyting algebras},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:25)2017},
doi = {10.23638/LMCS-13(3:25)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Ranzato17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/RorabaughTW17,
author = {Danny Rorabaugh and
Claude Tardif and
David L. Wehlau},
title = {Logical compactness and constraint satisfaction problems},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:1)2017},
doi = {10.23638/LMCS-13(1:1)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/RorabaughTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Rosu17,
author = {Grigore Rosu},
title = {Matching Logic},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:28)2017},
doi = {10.23638/LMCS-13(4:28)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Rosu17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Sanders17,
author = {Sam Sanders},
title = {Grilliot's trick in Nonstandard Analysis},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:23)2017},
doi = {10.23638/LMCS-13(4:23)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Sanders17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/SelivanovaS17,
author = {Svetlana Selivanova and
Victor L. Selivanov},
title = {Computing Solution Operators of Boundary-value Problems for Some Linear
Hyperbolic Systems of PDEs},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:13)2017},
doi = {10.23638/LMCS-13(4:13)2017},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/SelivanovaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/SeveriPTD17,
author = {Paula Severi and
Luca Padovani and
Emilio Tuosto and
Mariangiola Dezani{-}Ciancaglini},
title = {On Sessions and Infinite Data},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:9)2017},
doi = {10.23638/LMCS-13(2:9)2017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/SeveriPTD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Steinberg17,
author = {Florian Steinberg},
title = {Complexity theory for spaces of integrable functions},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:21)2017},
doi = {10.23638/LMCS-13(3:21)2017},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Steinberg17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Streicher17,
author = {Thomas Streicher},
title = {A Classical Realizability Model arising from a Stable Model of Untyped
Lambda Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:24)2017},
doi = {10.23638/LMCS-13(4:24)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Streicher17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Traytel17,
author = {Dmitriy Traytel},
title = {Formal Languages, Formally and Coinductively},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:28)2017},
doi = {10.23638/LMCS-13(3:28)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Traytel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Tsukamoto17,
author = {Yasuyuki Tsukamoto},
title = {Existence of strongly proper dyadic subbases},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:18)2017},
doi = {10.23638/LMCS-13(1:18)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Tsukamoto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/UrabeH17,
author = {Natsuki Urabe and
Ichiro Hasuo},
title = {Fair Simulation for Nondeterministic and Probabilistic Buechi Automata:
a Coalgebraic Perspective},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:20)2017},
doi = {10.23638/LMCS-13(3:20)2017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/UrabeH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Weinert017,
author = {Alexander Weinert and
Martin Zimmermann},
title = {Easy to Win, Hard to Master: Optimal Strategies in Parity Games with
Costs},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:29)2017},
doi = {10.23638/LMCS-13(3:29)2017},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Weinert017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/WesterbaanWKTVB17,
author = {Bram Westerbaan and
Bas Westerbaan and
Rutger Kuyper and
Carst Tankink and
Remy Viehoff and
Henk Barendregt},
title = {Statman's Hierarchy Theorem},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:19)2017},
doi = {10.23638/LMCS-13(4:19)2017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/WesterbaanWKTVB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Li0LNN16,
author = {Ximeng Li and
Xi Wu and
Alberto Lluch{-}Lafuente and
Flemming Nielson and
Hanne Riis Nielson},
title = {A Coordination Language for Databases},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2016},
url = {https://doi.org/10.23638/LMCS-13(1:10)2017},
doi = {10.23638/LMCS-13(1:10)2017},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Li0LNN16.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-12 13:08 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:
