Login / Signup

Congruence Closure of Compressed Terms in Polynomial Time.

Manfred Schmidt-SchaußDavid SabelAltug Anis
Published in: FroCoS (2011)
Keyphrases
  • special case
  • data structure
  • computational complexity
  • databases
  • social networks
  • multi agent