Completion after Program Inversion of Injective Functions.

Naoki Nishida Masahiko Sakai

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

machine learning
artificial intelligence
website
multiscale
relational databases
test cases
program execution
real time
database systems
keypoints
functional programs
loop formulas