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

Channel coding considerations for wireless LANs

Daniel J. Costello Jr., Pierre R. Chevillat, et al.

ISIT 1997

Conference paper

IT service management automation - A hybrid methodology to integrate and orchestrate collaborative human centric and automation centric workflows

Naga Ayachitula, Melissa Buco, et al.

SCC 2007

Conference paper

Performance data on new tunable attenuating PSM for 193nm and 157nm lithography

Hans Becker, Frank Schmidt, et al.

Photomask and Next-Generation Lithography Mask Technology 2004

Paper

Output distribution of the burrows-wheeler transform

Karthik Visweswariah, Sanjeev Kulkarni, et al.

IEEE International Symposium on Information Theory - Proceedings

View all publications