Login / Signup

Complete Axiomatizations of Some Quotient Term Algebras.

Hubert Comon
Published in: ICALP (1991)
Keyphrases
  • database systems
  • query processing
  • machine intelligence
  • decision procedures