Login / Signup
Deducing Fairness Properties in UNITY Logic - A New Completeness Result.
Yih-Kuen Tsay
Rajive 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