Publication
Journal of Computer and System Sciences
Paper

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.

Date

Publication

Journal of Computer and System Sciences

Authors

Topics

Share