Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- "rec_fun (P#Ps) (P'#Ps') (C#Cs) (A#As) (A'#As') = predicate u P C ∧
- predicate u' P' C ∧ (u A ≥ u' A') ∧ (rec_fun Ps Ps' Cs As As')" |
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement