Depending on the kind of the expression, a proof of an assignment instruction or a proof of a function call is produced by the template. Formally denning the semantics of templates is not in the scope of this paper. We give a brief overview ofanbsp;...
Title | : | Acta Cybernetica |
Author | : | |
Publisher | : | - 2007 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: