The top documents tagged [decision procedure]
Havoc
616 views
Real Time Systems
106 views
Get Happy: A Defense of Act Utilitarianism
1.453 views
Contingency Theory
532 views
Deciability (automata presentation)
226 views