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

QoS support for media broadcast in a services oriented architecture

D.S. Turaga, K. Ratakonda, et al.

SCC 2006

Paper

A generic grouping algorithm and its quantitative analysis

Arnon Amir, Michael Lindenbaum

IEEE Transactions on Pattern Analysis and Machine Intelligence

Paper

Soft decoding of several classes of array codes

Mario Blaum, John L. Fan, et al.

IEEE International Symposium on Information Theory - Proceedings

Conference paper

Anomalous interface degradation of a-Si:H TFTs during LCD lifetime

Frank R. Libsch, Takatoshi Tsujimura

Active Matrix Liquid Crystal Displays Technology and Applications 1997

View all publications