Login / Signup

On properties of Kleene TDDs.

Yukihiro IguchiTsutomu SasaoMunehiro Matsuura
Published in: ASP-DAC (1997)
Keyphrases
  • desirable properties
  • special case
  • propositional logic
  • multi agent systems
  • multiresolution
  • structural properties