Login / Signup
Efficient Substitution in Hoare Logic Expressions.
Roberto Virga
Published in:
Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
</>
information systems
computationally efficient
computationally expensive
database
multiscale
learning environment