Back to Results
First PageMeta Content
Automated 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
Add to Reading List

Document Date: 2014-11-22 16:20:54

Open Document

File Size: 267,89 KB

Share Result on Facebook