Journal of Automated Reasoning 2005: Vol 34 Table of Contents

2005·0.74 MB·English

Journal of Automated Reasoning (2005) 34: 429-430 © Springer 2006
Contents to Volume 34
Volume 34 No.1 2005
CALOGERO G. ZARBA Combining Sets with Cardinals
ANJA REMSHAGEN and KLAUS TRUEMPER / An Effective
Algorithm for the Futile Questioning Problem
DOMENICO CANTONE, CALOGERO G. ZARBA and ROSA
RUGGERI CANNATA / A Tableau-Based Decision Procedure
for a Fragment of Set Theory with Iterated Membership
BERNARD JURKOWIAK, CHU MIN LI and GIL UTARD
A Parallelization Scheme Based on Work Stealing for a Class
of SAT Solvers 73-101
Volume 34 No.2 2005
JURGEN GIESL and DEEPAK KAPUR Preface 103-104
H. ZANTEMA / Termination of String Rewriting Proved Automatically 105-139
ALEXANDER SEREBRENIK and DANNY DE SCHREYE
Termination of Floating-Point Computations 141-177
BRIGITTE PIENTKA Verifying Termination and Reduction
Properties about Higher-Order Logic Programs 179-207
Volume 34 No.3 2005
CESARI TINELLI and CALOGERO G. ZARBA Combining
Nonstably Infinite Theories 209-238
KONSTANTINE ARKOUDAS / Simplifying Proofs in Fitch-Style
Natural Deduction Systems 239-294
M. C. FERNANDEZ-GAGO, U. HUSTADT, C. DIXON, M. FISHER
and B. KONEV / First-Order Temporal Verification in Practice 295-321
430 CONTENTS TO VOLUME 34
Volume 34 No.4 2005
Second Special Issue on
Techniques for Automated Termination Proofs
Guest edited by Deepak Kapur and Jiirgen Giesl
DEEPAK KAPUR and JURGEN GIESL Preface
EVELYNE CONTEJEAN, CLAUDE MARCHE, ANA PAULA
TOMAS and XAVIER URBAIN / Mechanically Proving
Termination Using Polynomials Interpretation
ALFONS GESER, DIETER HOFBAUER and JOHANNES
WALDMANN / Termination Proofs for String Rewriting
Systems via Inverse Match-Bounds 365-385
PANAGIOTIS MANOLIOS and DARON VROON Ordinal
Arithmetic: Algorithms and Mechanization 387-423
Author Index to Volume 34 425
Subject Index to Volume 34 427
Contents to Volume 34 429-430
\