Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 51 citing Term Rewriting and All That. 

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Computers - 2002 - 218 pages
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle ...
Limited preview - About this book

Introduction to Process Algebra

Wan Fokkink - Computers - 2000 - 163 pages
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process ...
Limited preview - About this book

Computer Aided Verification: ... International Conference, CAV ...

Gerard Berry, Hubert Comon, Alain Finkel - Computers - 2001 - 520 pages
This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in ...
Limited preview - About this book

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy - Computers - 2005 - 202 pages
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically ...
Limited preview - About this book

Rewriting Techniques and Applications: 13th International ..., Volume 13

Sophie Tison - Computers - 2002 - 385 pages
Intelligent systems enhance the capacities made available by the internet and other computer-based technologies. This book deals with the theory behind the solutions to ...
Limited preview - About this book

Abstract Computing Machines: A Lambda Calculus Perspective

Werner Kluge - Computers - 2005 - 384 pages
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to ...
Limited preview - About this book

Higher-Level Hardware Synthesis

Richard Sharp - Computers - 2004 - 195 pages
In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in ...
Limited preview - About this book

Learning Search Control Knowledge for Equational Deduction

S. A. Schulz - Computers - 2000 - 182 pages
This thesis presents an approach to learning good search guiding heuristics for the supposition-based theorom prover E in equational deductions. Search decisions from ...
Limited preview - About this book

Computational and Geometric Aspects of Modern Algebra

Michael Atkinson - Mathematics - 2000 - 279 pages
A collection of papers from leading researchers in algebra and geometric group theory.
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search