Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 56 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

Handbook of Graph Grammars and Computing by Graph Transformation ...

Hartmut Ehrig, Grzegorz Rozenberg - Computers - 1999 - 698 pages
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted ...
Limited preview - About this book

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

Gerard Berry, Hubert Comon, Alain Finkel - Computers - 2001 - 520 pages
This volume constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 ...
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




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