Logical Methods in Computer Science, Special Issue 4

Selected Papers of "International Joint Conference on Automated Reasoning 2006" [IJCAR 2006]

• Arnon Avron, Anna Zamansky:
  Canonical Calculi with (n, k)-ary Quantifiers.
  
• Robert L. Constable, Wojciech Moczydlowski:
  Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics.
  
• Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz:
  Consistency and Completeness of Rewriting in the Calculus of Constructions.
  
• Benjamin Werner:
  On the Strength of Proof-irrelevant Type Theories.
  
• Viorica Sofronie-Stokkermans:
  Interpolation in Local Theory Extensions.
  
• Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
  Cut-Simulation and Impredicativity.
  

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