Journal of Computer and System Sciences

Paper

01 Jan 1972

An interpretation-oriented theorem prover over integers

View publication

Abstract

A special purpose theorem prover for establishing the validity of expressions over integer variables was developed as part of a program verifier. It is built around a powerful system for manipulating and simplifying integer expressions. © 1972 Academic Press, Inc.

Related

Conference paper

Better on wafer performance and mask manufacturability of contacts with no or non-traditional serifs

Donald Samuels, Ian Stobert

SPIE Photomask Technology + EUV Lithography 2007

Conference paper

Characterization of a next generation step-and-scan system

Timothy J. Wiltshire, Joseph P. Kirk, et al.

SPIE Advanced Lithography 1998

Conference paper

Strategies for registering range images from unknown camera positions

Fausto Bernardini, Holly Rushmeier

Proceedings of SPIE - The International Society for Optical Engineering

Paper

Vertex-Ant-Walk - A robust method for efficient exploration of faulty graphs

Vladimir Yanovski, Israel A. Wagner, et al.

Ann. Math. Artif. Intell.

View all publications