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