On explicit substitution with names
- Kristoffer H. Rose
- Roel Bloo
- et al.
- 2011
- Journal of Automated Reasoning
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
9 results at Journal of Automated Reasoning
The use of embeddings to provide a clean separation of term and annotation for higher order rippling
- Louise Abigail Dennis
- Ian Green
- et al.
- 2010
- Journal of Automated Reasoning
Lightweight Bytecode Verification
- Eva Rose
- 2003
- Journal of Automated Reasoning
Separability of polyhedra for optimal filtering of spatial and constraint data
- Alexander Brodsky
- Catherine Lassez
- et al.
- 1999
- Journal of Automated Reasoning
Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
- Adrian Walker
- 1993
- Journal of Automated Reasoning
What holds in a context?
- F. Corella
- 1993
- Journal of Automated Reasoning
A note on the parallel complexity of anti-unification
- G.M. Kuper
- Ken McAloon
- et al.
- 1992
- Journal of Automated Reasoning
On Fourier's algorithm for linear arithmetic constraints
- Jean-Louis Lassez
- Michael J. Maher
- 1992
- Journal of Automated Reasoning
Explicit representation of terms defined by counter examples
- J.-L. Lassez
- K. Marriott
- 1987
- Journal of Automated Reasoning