Journal of Automated Reasoning, Volume 48

Volume 48, Number 1, January 2012

• Daniele Zucchelli, Enrica Nicolini:
  A Decidability Result for the Model Checking of Infinite-State Systems. 1-42
  
• Amy P. Felty, Alberto Momigliano:
  Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. 43-105
  
• Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
  SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. 107-131
  

Volume 48, Number 2, February 2012

• Hubert Comon-Lundh, Catherine Meadows:
  Special Issue on Security and Rewriting Foreword. 133-134
  
• Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch:
  Unification Modulo Homomorphic Encryption. 135-158
  
• Joshua D. Guttman:
  State and Progress in Strand Spaces: Proving Fair Exchange. 159-195
  
• Steve Kremer, Antoine Mercier, Ralf Treinen:
  Reducing Equational Theories for the Decision of Static Equivalence. 197-217
  
• Stefan Ciobaca, Stéphanie Delaune, Steve Kremer:
  Computing Knowledge in Security Protocols Under Convergent Equational Theories. 219-262
  
• Yannick Chevalier, Michaël Rusinowitch:
  Decidability of Equivalence of Symbolic Derivations. 263-292
  

Volume 48, Number 3, March 2012

• Mnacho Echenim, Nicolas Peltier:
  An Instantiation Scheme for Satisfiability Modulo Theories. 293-362
  
• Jan Otop:
  E-unification with Constants vs. General E-unification. 363-390
  
• Belaid Benhamou, Lionel Paris, Pierre Siegel:
  Dealing with Satisfiability and n-ary CSPs in a Logical Framework. 391-417
  

Volume 48, Number 4, April 2012

• Freek Verbeek, Julien Schmaltz:
  Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. 419-439
  
• Véronique Cortier, Stéphanie Delaune:
  Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. 441-487
  
• Predrag Janicic, Julien Narboux, Pedro Quaresma:
  The Area Method - A Recapitulation. 489-532
  

Last update Thu May 23 15:05:21 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page