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/lmcs7.bht:"
download as .bib file
@article{DBLP:journals/corr/abs-0805-1464,
author = {Guillaume Burel},
title = {Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory
Modulo},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:3)2011},
doi = {10.2168/LMCS-7(1:3)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0805-1464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-0570,
author = {Georg Moser and
Andreas Schnabl},
title = {The Derivational Complexity Induced by the Dependency Pair Method},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:1)2011},
doi = {10.2168/LMCS-7(3:1)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-0570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-4059,
author = {Pierre Hyvernat},
title = {Finiteness spaces, graphs and "coherence"},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:15)2011},
doi = {10.2168/LMCS-7(3:15)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-4059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-2154,
author = {Giorgi Japaridze},
title = {From formulas to cirquents in computability logic},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:1)2011},
doi = {10.2168/LMCS-7(2:1)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-2154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-4315,
author = {Mark Bickford and
Robert L. Constable and
Joseph Y. Halpern and
Sabina Petride},
title = {Knowledge-Based Synthesis of Distributed Systems Using Event Structures},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:14)2011},
doi = {10.2168/LMCS-7(2:14)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-4315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-2395,
author = {Jean{-}Louis Krivine},
title = {Realizability algebras: a program to well order {R}},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:2)2011},
doi = {10.2168/LMCS-7(3:2)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-2395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-0398-2,
author = {Tobias G{\"{a}}rtner and
Martin Ziegler},
title = {Real Analytic Machines and Degrees: {A} Topological View on Algebraic
Limiting Computation},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:11)2011},
doi = {10.2168/LMCS-7(3:11)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0398-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3429,
author = {Barbara Petit},
title = {Semantics of Typed Lambda-Calculus with Constructors},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:2)2011},
doi = {10.2168/LMCS-7(1:2)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-3429.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-0688,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Vinayak S. Prabhu},
title = {Timed Parity Games: Complexity and Robustness},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:8)2011},
doi = {10.2168/LMCS-7(4:8)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-3479,
author = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Generic Modal Cut Elimination Applied to Conditional Logics},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:4)2011},
doi = {10.2168/LMCS-7(1:4)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-3479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-6308,
author = {Matthew Hennessy},
title = {A calculus for costed computations},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:7)2011},
doi = {10.2168/LMCS-7(1:7)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-0746,
author = {Mark Kaminski and
Sigurd Schneider and
Gert Smolka},
title = {Terminating Tableaux for Graded Hybrid Logic with Global Modalities
and Role Hierarchies},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:5)2011},
doi = {10.2168/LMCS-7(1:5)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-0746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1174,
author = {Gilda Ferreira and
Paulo Oliva},
title = {Functional Interpretations of Intuitionistic Linear Logic},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:9)2011},
doi = {10.2168/LMCS-7(1:9)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-1174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1802,
author = {Ross Tate and
Michael Stepp and
Zachary Tatlock and
Sorin Lerner},
title = {Equality Saturation: {A} New Approach to Optimization},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:10)2011},
doi = {10.2168/LMCS-7(1:10)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-1802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-3372,
author = {St{\'{e}}phane Lengrand and
Roy Dyckhoff and
James McKinna},
title = {A Focused Sequent Calculus Framework for Proof Search in Pure Type
Systems},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:6)2011},
doi = {10.2168/LMCS-7(1:6)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-3372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5803,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Algebraic Notions of Termination},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:1)2011},
doi = {10.2168/LMCS-7(1:1)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5803.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-2162,
author = {Ulrich Berger},
title = {From coinductive proofs to exact real arithmetic: theory and applications},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:8)2011},
doi = {10.2168/LMCS-7(1:8)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-2162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-3262,
author = {Jesper Bengtson and
Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Psi-calculi: a framework for mobile processes with nominal data and
logic},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:11)2011},
doi = {10.2168/LMCS-7(1:11)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-3262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-3694,
author = {Taolue Chen and
Tingting Han and
Joost{-}Pieter Katoen and
Alexandru Mereacre},
title = {Model Checking of Continuous-Time Markov Chains Against Timed Automata
Specifications},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:12)2011},
doi = {10.2168/LMCS-7(1:12)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-3694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4223,
author = {Sam Staton},
title = {Relating coalgebraic notions of bisimulation},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:13)2011},
doi = {10.2168/LMCS-7(1:13)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4364,
author = {Alexandre Miquel},
title = {Existential witness extraction in classical realizability and via
a negative translation},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:2)2011},
doi = {10.2168/LMCS-7(2:2)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4364.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4594,
author = {Tobias Heindel and
Pawel Sobocinski},
title = {Being Van Kampen is a universal property},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:14)2011},
doi = {10.2168/LMCS-7(1:14)2011},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4929,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Semantics of Higher-Order Recursion Schemes},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:15)2011},
doi = {10.2168/LMCS-7(1:15)2011},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-2232,
author = {Alexis B{\`{e}}s and
Alexander Rabinovich},
title = {Decidable Expansions of Labelled Linear Orderings},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:5)2011},
doi = {10.2168/LMCS-7(2:5)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-2405,
author = {Andreas Abel and
Thierry Coquand and
Miguel Pagano},
title = {A Modular Type-checking algorithm for Type Theory with Singleton Types
and Proof Irrelevance},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:4)2011},
doi = {10.2168/LMCS-7(2:4)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-2828,
author = {Nick Bezhanishvili and
Mai Gehrke},
title = {Finitely generated free Heyting algebras via Birkhoff duality and
coalgebra},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:9)2011},
doi = {10.2168/LMCS-7(2:9)2011},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-3676,
author = {Dimitrios Vardoulakis and
Olin Shivers},
title = {{CFA2:} a Context-Free Approach to Control-Flow Analysis},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:3)2011},
doi = {10.2168/LMCS-7(2:3)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-0437,
author = {Filippo Bonchi and
Ugo Montanari},
title = {Symbolic and Asynchronous Semantics via Normalized Coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:7)2011},
doi = {10.2168/LMCS-7(2:7)2011},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-0437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-0510,
author = {Derek Dreyer and
Amal Ahmed and
Lars Birkedal},
title = {Logical Step-Indexed Logical Relations},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:16)2011},
doi = {10.2168/LMCS-7(2:16)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-0510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-4990,
author = {Olaf Beyersdorff and
Arne Meier and
Martin Mundhenk and
Thomas Schneider and
Michael Thomas and
Heribert Vollmer},
title = {Model Checking {CTL} is Almost Always Inherently Sequential},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:12)2011},
doi = {10.2168/LMCS-7(2:12)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-4990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-5286,
author = {Rajeev Gor{\'{e}} and
Linda Postniece and
Alwen Tiu},
title = {On the Correspondence between Display Postulates and Deep Inference
in Nested Sequent Calculi for Tense Logics},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:8)2011},
doi = {10.2168/LMCS-7(2:8)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-5286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-0504,
author = {Michele Basaldella and
Claudia Faggian},
title = {Ludics with repetitions (Exponentials, Interactive types and Completeness)},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:13)2011},
doi = {10.2168/LMCS-7(2:13)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-0504.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-1998,
author = {Robert Atkey},
title = {Amortised Resource Analysis with Separation Logic},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:17)2011},
doi = {10.2168/LMCS-7(2:17)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-4131,
author = {Renate A. Schmidt and
Dmitry Tishkovsky},
title = {Automated Synthesis of Tableau Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:6)2011},
doi = {10.2168/LMCS-7(2:6)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-4131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-5307,
author = {Dag Normann},
title = {Banach Spaces as Data Types},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:11)2011},
doi = {10.2168/LMCS-7(2:11)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-5307.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-1256,
author = {George Metcalfe and
Nicola Olivetti},
title = {Towards a Proof Theory of G{\"{o}}del Modal Logics},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:10)2011},
doi = {10.2168/LMCS-7(2:10)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-1256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-1380,
author = {Wesley Calvert and
Ken Kramer and
Russell G. Miller},
title = {Noncomputable functions in the Blum-Shub-Smale model},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:15)2011},
doi = {10.2168/LMCS-7(2:15)2011},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-1380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2246,
author = {Corina C{\^{\i}}rstea and
Clemens Kupke and
Dirk Pattinson},
title = {{EXPTIME} Tableaux for the Coalgebraic mu-Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:3)2011},
doi = {10.2168/LMCS-7(3:3)2011},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2576,
author = {Adam Koprowski and
Henri Binsztok},
title = {{TRX:} {A} Formally Verified Parser Interpreter},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:18)2011},
doi = {10.2168/LMCS-7(2:18)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-3335,
author = {Nazanin Tavana and
Klaus Weihrauch},
title = {Turing machines on represented sets, a model of computation for Analysis},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:19)2011},
doi = {10.2168/LMCS-7(2:19)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-3335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-3583,
author = {Wojciech Kazana and
Luc Segoufin},
title = {First-order query evaluation on structures of bounded degree},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:20)2011},
doi = {10.2168/LMCS-7(2:20)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-3583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-6317,
author = {Amir M. Ben{-}Amram},
title = {Monotonicity Constraints for Termination in the Integer Domain},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:4)2011},
doi = {10.2168/LMCS-7(3:4)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-6317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0778,
author = {Oliver Friedmann},
title = {An Exponential Lower Bound for the Latest Deterministic Strategy Iteration
Algorithms},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:23)2011},
doi = {10.2168/LMCS-7(3:23)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-2769,
author = {Zvonko Iljazovic},
title = {Co-c.e. spheres and cells in computable metric spaces},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:5)2011},
doi = {10.2168/LMCS-7(3:5)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-2769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-2993,
author = {Douglas Cenzer and
Paul Brodhead and
Ferit Toska and
Sebastian Wyman},
title = {Algorithmic Randomness and Capacity of Closed Sets},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:16)2011},
doi = {10.2168/LMCS-7(3:16)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-2993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3445,
author = {Matthew R. Lakin},
title = {Constraint solving in non-permutative nominal abstract syntax},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:6)2011},
doi = {10.2168/LMCS-7(3:6)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-3745,
author = {Marcelo Arenas and
Ronald Fagin and
Alan Nash},
title = {Composition with Target Constraints},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:13)2011},
doi = {10.2168/LMCS-7(3:13)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-3745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5128,
author = {Adrian Francalanza and
Julian Rathke and
Vladimiro Sassone},
title = {Permission-Based Separation Logic for Message-Passing Concurrency},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:7)2011},
doi = {10.2168/LMCS-7(3:7)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1351,
author = {Furio Honsell and
Marina Lenisa},
title = {Conway games, algebraically and coalgebraically},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:8)2011},
doi = {10.2168/LMCS-7(3:8)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1456,
author = {Andr{\'{e}} Hernich},
title = {Answering Non-Monotonic Queries in Relational Data Exchange},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:9)2011},
doi = {10.2168/LMCS-7(3:9)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-3031,
author = {Marcelo P. Fiore and
Chung{-}Kil Hur},
title = {On the mathematical synthesis of equational logics},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:12)2011},
doi = {10.2168/LMCS-7(3:12)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-3031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-3430,
author = {Kord Eickmeyer and
Martin Grohe},
title = {Randomisation and Derandomisation in Descriptive Complexity Theory},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:14)2011},
doi = {10.2168/LMCS-7(3:14)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-3430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-4422,
author = {Jyotirmoy V. Deshmukh and
G. Ramalingam and
Venkatesh Prasad Ranganath and
Kapil Vaswani},
title = {Logical Concurrency Control from Sequential Proofs},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:10)2011},
doi = {10.2168/LMCS-7(3:10)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-4422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5594,
author = {Aslan Askarov and
Andrew C. Myers},
title = {Attacker Control and Impact for Confidentiality and Integrity},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:17)2011},
doi = {10.2168/LMCS-7(3:17)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-0843,
author = {Vassilios Gregoriades},
title = {Computational Models of Certain Hyperspaces of Quasi-metric Spaces},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:2)2011},
doi = {10.2168/LMCS-7(4:2)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0843.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3736,
author = {Mahdi Aliakbari and
Massoud Pourmahdian},
title = {Computational Models of Certain Hyperspaces of Quasi-metric Spaces},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:1)2011},
doi = {10.2168/LMCS-7(4:1)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-4368,
author = {Filip Maric and
Predrag Janicic},
title = {Formalization of Abstract State Transition Systems for {SAT}},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:19)2011},
doi = {10.2168/LMCS-7(3:19)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-4368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-1702,
author = {Steven Awodey and
Florian Rabe},
title = {Kripke Semantics for Martin-L{\"{o}}f's Extensional Type Theory},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:18)2011},
doi = {10.2168/LMCS-7(3:18)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-1702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2536,
author = {Rohit Chadha and
A. Prasad Sistla and
Mahesh Viswanathan},
title = {Power of Randomization in Automata on Infinite Strings},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:22)2011},
doi = {10.2168/LMCS-7(3:22)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2536.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3031,
author = {Jan Schwinghammer and
Lars Birkedal and
Bernhard Reus and
Hongseok Yang},
title = {Nested Hoare Triples and Frame Rules for Higher-order Store},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:21)2011},
doi = {10.2168/LMCS-7(3:21)2011},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4017,
author = {Michael Ummels and
Dominik Wojtczak},
title = {The Complexity of Nash Equilibria in Stochastic Multiplayer Games},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:20)2011},
doi = {10.2168/LMCS-7(3:20)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5267,
author = {Naoki Kobayashi and
C.{-}H. Luke Ong},
title = {Complexity of Model Checking Recursion Schemes for Fragments of the
Modal Mu-Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:9)2011},
doi = {10.2168/LMCS-7(4:9)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-5267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5851,
author = {Thomas Place and
Luc Segoufin},
title = {A decidable characterization of locally testable tree languages},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:3)2011},
doi = {10.2168/LMCS-7(4:3)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-5851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0693,
author = {Manuel Bodirsky and
Jens K. M{\"{u}}ller},
title = {The Complexity of Rooted Phylogeny Problems},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:6)2011},
doi = {10.2168/LMCS-7(4:6)2011},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0123,
author = {Gyesik Lee and
Benjamin Werner},
title = {Proof-irrelevant model of {CC} with predicative induction and judgmental
equality},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:5)2011},
doi = {10.2168/LMCS-7(4:5)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-1011,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Shaz Qadeer},
title = {Context-Bounded Analysis For Concurrent Programs With Dynamic Creation
of Threads},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:4)2011},
doi = {10.2168/LMCS-7(4:4)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-1011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-5901,
author = {Nicole Schweikardt and
Thomas Schwentick},
title = {A note on the expressive power of linear orders},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {4},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(4:7)2011},
doi = {10.2168/LMCS-7(4:7)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-5901.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-04-23 18:40 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:
