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

Paper

Dynamically Meaningful Latent Representations of Dynamical Systems

Imran Nasim, Michael E. Henderson

Mathematics

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

Conference paper

Bonding, interfacial effects and adhesion in dlc

A. Grill, B.S. Meyerson, et al.

Proceedings of SPIE 1989

Conference paper

Total Source Mask Optimization: High-capacity, resist modeling, and production-ready mask solution

Moutaz Fakhry, Yuri Granik, et al.

SPIE Photomask Technology + EUV Lithography 2011

View all publications