<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-11-22 16:20:54Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Stochastic processes Stopping time Primitive recursive functional |
|
| First Page | Document Content | |
|---|---|---|
Date: 2014-11-22 16:20:54Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Stochastic processes Stopping time Primitive recursive functional |
|
Modular Bisimulation Theory for Computations and Values Appendix A 17