Login / Signup

First Order Extensions of Residue Classes and Uniform Circuit Complexity.

Argimiro ArratiaCarlos E. Ortiz
Published in: WoLLIC (2013)
Keyphrases
  • tractable cases
  • higher order
  • complexity measures
  • high speed
  • circuit design
  • worst case
  • decision problems
  • expert systems
  • first order logic
  • space complexity
  • complexity analysis