Login / Signup

Deducing Fairness Properties in UNITY Logic - A New Completeness Result.

Yih-Kuen TsayRajive L. Bagrodia
Published in: ACM Trans. Program. Lang. Syst. (1995)
Keyphrases
  • formal language
  • logic programming
  • resource allocation
  • structural properties
  • neural network
  • knowledge base
  • decision trees
  • expert systems
  • programming language
  • game theory
  • belief revision
  • multi valued