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/lmcs6.bht:"
download as .bib file
@article{DBLP:journals/corr/abs-0809-4326,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Rupak Majumdar and
Vishwanath Raman},
title = {Algorithms for Game Metrics (Full Version)},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/0809.4326},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-4326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-0409,
author = {Peter LeFanu Lumsdaine},
title = {Weak omega-categories from intensional type theory},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(3:24)2010},
doi = {10.2168/LMCS-6(3:24)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-0409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2675,
author = {Ugo Dal Lago and
Martin Hofmann},
title = {Bounded Linear Logic, Revisited},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:7)2010},
doi = {10.2168/LMCS-6(4:7)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-2675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-3085,
author = {Achim Blumensath},
title = {Guarded Second-Order Logic, Spanning Trees, and Network Flows},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/0910.3085},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-3085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-5399,
author = {Guy McCusker},
title = {A Graph Model for Imperative Computation},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/0910.5399},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-5399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-3214,
author = {Manfred Droste and
Guo{-}Qiang Zhang},
title = {Bifinite Chu Spaces},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/0911.3214},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-3214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-4833,
author = {Patricia Bouyer and
Thomas Brihaye and
Fabrice Chevalier},
title = {O-Minimal Hybrid Reachability Games},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/0911.4833},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-4833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-0931,
author = {Bart Jacobs},
title = {Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {2},
year = {2010},
url = {http://arxiv.org/abs/0912.0931},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-0931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4947,
author = {Jeroen Ketema and
Jakob Grue Simonsen},
title = {Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/0912.4947},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-4947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-2175,
author = {Christian Mathissen},
title = {Weighted Logics for Nested Words and Algebraic Formal Power Series},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/1001.2175},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-2175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-2508,
author = {Bernard Boigelot and
Julien Brusten and
V{\'{e}}ronique Bruy{\`{e}}re},
title = {On the Sets of Real Numbers Recognized by Finite Automata in Multiple
Bases},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {1},
year = {2010},
url = {http://arxiv.org/abs/1001.2508},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-2508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-4286,
author = {Jos{\'{e}} L. Balc{\'{a}}zar},
title = {Redundancy, Deduction Schemes, and Minimum-Size Bases for Association
Rules},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {2},
year = {2010},
url = {http://arxiv.org/abs/1002.4286},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-4286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-5197,
author = {Ronald Garcia and
Andrew Lumsdaine and
Amr Sabry},
title = {Lazy Evaluation and Delimited Control},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1003.5197},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-5399,
author = {Roman Kontchakov and
Ian Pratt{-}Hartmann and
Frank Wolter and
Michael Zakharyaschev},
title = {Spatial logics with connectedness predicates},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1003.5399},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-1947,
author = {Chad E. Brown and
Gert Smolka},
title = {Analytic Tableaux for Simple Type Theory and its First-Order Fragment},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {2},
year = {2010},
url = {http://arxiv.org/abs/1004.1947},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-1947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-3808,
author = {Chris Hawblitzel and
Erez Petrank},
title = {Automated Verification of Practical Garbage Collectors},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1004.3808},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-3808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4777,
author = {Achim Blumensath and
Bruno Courcelle},
title = {On the Monadic Second-Order Transduction Hierarchy},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {2},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(2:2)2010},
doi = {10.2168/LMCS-6(2:2)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-0253,
author = {Amir M. Ben{-}Amram},
title = {Size-Change Termination, Monotonicity Constraints and Ranking Functions},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1005.0253},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-0253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-2340,
author = {James Brotherston and
Cristiano Calcagno},
title = {Classical {BI:} Its Semantics and Proof Theory},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1005.2340},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-2340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-4508,
author = {Alwen Tiu and
Rajeev Gor{\'{e}} and
Jeremy E. Dawson},
title = {A Proof Theoretic Analysis of Intruder Theories},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1005.4508},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-4508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-4844,
author = {David Monniaux},
title = {Automatic Modular Abstractions for Template Numerical Constraints},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1005.4844},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-4844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-5278,
author = {Peter A. Jonsson and
Johan Nordlander},
title = {Positive Supercompilation for a Higher-Order Call-By-Value Language},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1005.5278},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-5278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-5648,
author = {J{\"{o}}rg Endrullis and
Dimitri Hendriks},
title = {Transforming Outermost into Context-Sensitive Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {2},
year = {2010},
url = {http://arxiv.org/abs/1005.5648},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-5648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-0706,
author = {Luis Bargu{\~{n}}{\'{o}} and
Guillem Godoy and
Eduard Huntingford and
Ashish Tiwari},
title = {Termination of Rewriting with Right-Flat Rules Modulo Permutative
Theories},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1006.0706},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-2289,
author = {Franz Baader and
Barbara Morawska},
title = {Unification in the Description Logic {EL}},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1006.2289},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-2289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-2944,
author = {Stefan Kahrs},
title = {Modularity of Convergence and Strong Convergence in Infinitary Rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1006.2944},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-2944.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4955,
author = {J{\"{o}}rg Endrullis and
Roel C. de Vrijer and
Johannes Waldmann},
title = {Local Termination: theory and practice},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1006.4955},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-4955.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-5561,
author = {Petter Kristian K{\o}ber},
title = {Domain Representable Spaces Defined by Strictly Positive Induction},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1006.5561},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5561.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-0120,
author = {Thomas Ehrhard and
Olivier Laurent},
title = {Acyclic Solos and Differential Interaction Nets},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.0120},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-0120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-1785,
author = {Federico Aschieri and
Stefano Berardi},
title = {Interactive Learning-Based Realizability for Heyting Arithmetic with
{EM1}},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.1785},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-1785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-2783,
author = {Parosh Aziz Abdulla and
Pavel Krc{\'{a}}l and
Wang Yi},
title = {Sampled Semantics of Timed Automata},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.2783},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-2783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3769,
author = {Alexandra Silva and
Marcello M. Bonsangue and
Jan J. M. M. Rutten},
title = {Non-Deterministic Kleene Coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.3769},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4018,
author = {Krishnendu Chatterjee and
Laurent Doyen and
Thomas A. Henzinger},
title = {Expressiveness and Closure Properties for Quantitative Languages},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.4018},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4266,
author = {Makoto Hamana},
title = {Initial Algebra Semantics for Cyclic Sharing Tree Structures},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.4266},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4764,
author = {Benedikt Bollig and
Dietrich Kuske and
Ingmar Meinecke},
title = {Propositional Dynamic Logic for Message-Passing Systems},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1007.4764},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4764.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-2590,
author = {Hans Zantema},
title = {Well-definedness of Streams by Transformation and Termination},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1008.2590},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1076,
author = {J{\'{e}}r{\^{o}}me Leroux},
title = {The General Vector Addition System Reachability Problem by Presburger
Inductive Invariants},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(3:22)2010},
doi = {10.2168/LMCS-6(3:22)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-1076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1861,
author = {William Lovas and
Frank Pfenning},
title = {Refinement Types for Logical Frameworks and Their Interpretation as
Proof Irrelevance},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:5)2010},
doi = {10.2168/LMCS-6(4:5)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-1861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2405,
author = {Mart{\'{\i}}n Abadi and
Gordon D. Plotkin},
title = {A Model of Cooperative Threads},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:2)2010},
doi = {10.2168/LMCS-6(4:2)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2854,
author = {Mikolaj Bojanczyk and
Luc Segoufin},
title = {Tree Languages Defined in First-Order Logic with One Quantifier Alternation},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:1)2010},
doi = {10.2168/LMCS-6(4:1)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2893,
author = {Juha Kontinen and
Heribert Vollmer},
title = {On Second-Order Monadic Monoidal and Groupoidal Quantifiers},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(3:25)2010},
doi = {10.2168/LMCS-6(3:25)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-4400,
author = {Olivier Laurent},
title = {Game semantics for first-order logic},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:3)2010},
doi = {10.2168/LMCS-6(4:3)2010},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-5206,
author = {St{\'{e}}phane Demri and
Alexander Rabinovich},
title = {The complexity of linear-time temporal logic over the class of ordinals},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:9)2010},
doi = {10.2168/LMCS-6(4:9)2010},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-5206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-0201,
author = {Andrei A. Bulatov and
D{\'{a}}niel Marx},
title = {The complexity of global cardinality constraints},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:4)2010},
doi = {10.2168/LMCS-6(4:4)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-0201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-1066,
author = {Marc de Falco},
title = {An Explicit Framework for Interaction Nets},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:6)2010},
doi = {10.2168/LMCS-6(4:6)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-1066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-1872,
author = {Silvio Ghilardi and
Silvio Ranise},
title = {Backward Reachability of Array-based Systems by {SMT} solving: Termination
and Invariant Synthesis},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:10)2010},
doi = {10.2168/LMCS-6(4:10)2010},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-1872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-3806,
author = {Takeshi Tsukada and
Atsushi Igarashi},
title = {A Logical Foundation for Environment Classifiers},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:8)2010},
doi = {10.2168/LMCS-6(4:8)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-3806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-1625,
author = {Michele Basaldella and
Kazushige Terui},
title = {On the meaning of logical completeness},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:11)2010},
doi = {10.2168/LMCS-6(4:11)2010},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-1625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-4384,
author = {Arnon Avron and
Ori Lahav},
title = {On Constructive Connectives and Systems},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {4},
year = {2010},
url = {https://doi.org/10.2168/LMCS-6(4:12)2010},
doi = {10.2168/LMCS-6(4:12)2010},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-4384.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-06-05 23:21 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:
