Sign in

Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.

Pierre-Louis CurienThérèse HardinJean-Jacques Lévy
Published in: J. ACM (1996)
Keyphrases
  • databases
  • desirable properties
  • structural properties
  • image processing
  • website
  • database systems
  • multi agent
  • pairwise
  • probabilistic model
  • theorem proving