16. LPAR 2010: Dakar, Senegal

• Geoff Sutcliffe:
  The TPTP World - Infrastructure for Automated Reasoning. 1-12
  
• Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell:
  Speed-Up Techniques for Negation in Grounding. 13-26
  
• Gourinath Banda, John P. Gallagher:
  Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. 27-45
  
• Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech, Vincent Laporte:
  On the Equality of Probabilistic Terms. 46-63
  
• Martin Berger, Laurence Tratt:
  Program Logics for Homogeneous Meta-programming. 64-81
  
• Lennart Beringer, Robert Grabowski, Martin Hofmann:
  Verifying Pointer and String Analyses with Region Type Systems. 82-102
  
• Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács:
  ABC: Algebraic Bound Computation for Loops. 103-118
  
• Laura Bozzelli, Axel Legay, Sophie Pinchinat:
  Hardness of Preorder Checking for Basic Formalisms. 119-135
  
• Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot:
  A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. 136-153
  
• Michael Codish, Moshe Zazon-Ivry:
  Pairwise Cardinality Networks. 154-172
  
• Daniel J. Dougherty, Luigi Liquori:
  Logic and Computation in a Lambda Calculus with Intersection and Union Types. 173-191
  
• Marco Faella, Margherita Napoli, Mimmo Parente:
  Graded Alternating-Time Temporal Logic. 192-211
  
• John Fearnley:
  Non-oblivious Strategy Improvement. 212-230
  
• Michael Gabbay, Murdoch James Gabbay:
  A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing. 231-254
  
• Didier Galmiche, Yakoub Salhi:
  Label-Free Proof Systems for Intuitionistic Modal Logic IS5. 255-271
  
• Yoichi Hirai:
  An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. 272-289
  
• Matthias Horbach:
  Disunification for Ultimately Periodic Interpretations. 290-311
  
• Orna Kupferman, Moshe Y. Vardi:
  Synthesis of Trigger Properties. 312-331
  
• Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell:
  Semiring-Induced Propositional Logic: Definition and Basic Algorithms. 332-347
  
• K. Rustan M. Leino:
  Dafny: An Automatic Program Verifier for Functional Correctness. 348-370
  
• Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
  Relentful Strategic Reasoning in Alternating-Time Temporal Logic. 371-386
  
• Reinhard Pichler, Stefan Rümmele, Stefan Woltran:
  Counting and Enumeration Problems with Bounded Treewidth. 387-404
  
• Fausto Spoto:
  The Nullness Analyser of julia. 405-424
  
• Margus Veanes, Nikolai Tillmann, Jonathan de Halleux:
  Qex: Symbolic SQL Query Explorer. 425-446
  
• Jirí Vyskocil, David Stanovský, Josef Urban:
  Automated Proof Compression by Invention of New Definitions. 447-462
  
• Bruno Woltzenlogel Paleo:
  Atomic Cut Introduction by Resolution: Proof Structuring and Compression. 463-480
  
• Harald Zankl, Aart Middeldorp:
  Satisfiability of Non-linear (Ir)rational Arithmetic. 481-500
  
• Orna Kupferman, Tami Tamir:
  Coping with Selfish On-Going Behaviors. 501-516
  

Last update Thu May 24 04:37:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page