Journal of Automated Reasoning 2006: Vol 37 Table of Contents PDF
Preview Journal of Automated Reasoning 2006: Vol 37 Table of Contents
Journal of Automated Reasoning (2006) 37 © Springer 2007 Contents to Volume 37 Volume 37 Nos. 1-2. 2006 Special Issue on Empirically Successful Automated Reasoning: Applications Issue Guest edited by Bernd Fischer, Geoff Sutcliffe and Stephan Schulz BERND FISCHER, GEOFF SUTCLIFFE and STEPHAN SCHULZ Empirically Successful Automated Reasoning: Applications Issue R. VEROFF and M. SPINKS / Axiomatizing the Skew Boolean Propositional Calculus JOSEF URBAN / MPTP 0.2: Design, Implementation, and Initial Experiments CARSTEN SINZ, WOLFGANG KUCHLIN, DIETER FEICHTINGER and GEORG GORTLER / Checking Consistency and Com- pleteness of On-Line Product Manuals JOSE-LUIS RUIZ-REINA, FRANCISCO-JESUS MARTIN-MATEOS, JOSE-ANTONIO ALONSO and MARIA-JOSE HIDALGO Formal Correctness of a Quadratic Unification Algorithm PANAGIOTIS MANOLIOS and SUDARSHAN K. SRINIVASAN A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures 93-116 OLIVER PELL / Verification of FPGA Layout Generators in Higher- Order Logic 117-152 Volume 37. No.3 2006 Third Special Issue on Techniques for Automated Termination Proofs Guest edited by Siirgen Gies] and Deepak Kapur JURGEN GIESL and DEEPAK KAPUR / Third Special Issue on Techniques for Automated Termination Proofs 153 CONTENTS TO VOLUME 37 JURGEN GIESL, RENE THIEMANN, PETER SCHNEIDER-KAMP and STEPHAN FALKE / Mechanizing and Improving Dependency Pairs 155-203 KUSAKARI KEITCHIROU, NAKAMURA MASAKI and TOYAMA YOSHIHITO / Elimination Transformations for Associative-Commutative Rewriting Systems 205-229 Volume 37. No.4 2006 OLIVIER BAILLEUX and PIERRE MARQUIS / Some Computa- tional Aspects of DISTANCE-SAT 231-260 GILLES DEQUEN and OLIVIER DUBOIS / An Efficient Approach to Solving Random k-saTt Problems 261-276 STEVEN GIVANT / The Calculus of Relations as a Foundation for Mathematics 277-322 SEBASTIEN LIMET AND GERNOT SALZER / Tree Tuple Languages from the Logic Programming Point of View 323-349
The list of books you might like
