Publications

9 results at Journal of Automated Reasoning

On explicit substitution with names
- - Kristoffer H. Rose
  - Roel Bloo
  - et al.
- 2011
- 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
What holds in a context?
- - F. Corella
- 1993
- 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
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