Login / Signup

Permutative Additives and Exponentials.

Gabriele Pulcini
Published in: LPAR (2007)
Keyphrases
  • linear logic
  • constraint satisfaction
  • relational databases