Journal of Automated Reasoning 2003: Vol 31 Table of Contents

3 Pages·2003·0.73 MB·English

ty Journal of Automated Reasoning 31: 375-376, 2003.
Contents to Volume 31
Volume 31 No. I 2003
ROBERT VEROFF/ A Shortest 2-Basis for Boolean Algebra in Terms
of the Sheffer Stroke
LIN HAI, SUN JIGUI and ZHANG YIMIN / Theorem Proving Based
on the Extension Rule
G. SUTCLIFFE and C. B. SUTTNER / The CADE-18 ATP System
Competition
GILLES DOWEK, THERESE HARDIN and CLAUDE KIRCHNER/
Theorem Proving Modulo
R. GENTILINI, C. PIAZZA and A. POLICRITI/ From Bisimulation to
Simulation: Coarsest Partition Problems
Volume 31 No. 2 2003
DEEPAK KAPUR / Announcement 105
PANAGIOTIS MANOLIOS and J. STROTHER MOORE / Partial
Functions in ACL2 107-127
LEO BACHMAIR, ASHISH TIWARI and LAURENT VIGNERON /
Abstract Congruence Closure 129-168
Philosophical and Historical Contributions
PETER B. ANDREWS / Herbrand Award Acceptance Speech 169-187
Volume 31 Nos. 3-4 2003
Proof-Carrying Code and Other Approaches to Software Safety and Reliability
Guest Editor: Amy P. Felty
Preface 189-190
NADEEM A. HAMID, ZHONG SHAO, VALERY TRIFONOV, STE-
FAN MONNIER and ZHAOZHONG NI / A Syntactic
Approach to Foundational Proof-Carrying Code 191-229
376 CONTENTS TO VOLUME 31
ANDREW W. APPEL, NEOPHYTOS MICHAEL, AARON STUMP
and ROBERTO VIRGA / A Trustworthy Proof Checker 231-260
DAVID ASPINALL and ADRIANA COMPAGNONI/ Heap-Bounded
Assembly Language 261-302
EVA ROSE / Lightweight Bytecode Verification 303-334
JAMES RIELY and MATTHEW HENNESSY / Trust and Partial
Typing in Open Systems of Mobile Agents 335-370
Author Index to Volume 31 3/1
Subject Index to Volume 31 373
Contents to Volume 31 375-376