Login / Signup

Groebner Bases, Ritt's Algorithm and Decision Procedures for Algebraic Theories.

Alfredo FerroGiovanni Gallo
Published in: AAECC (1987)
Keyphrases
  • decision procedures
  • computational complexity
  • machine learning
  • relational databases
  • data model
  • probabilistic model