Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Paper
Simulation of one abstract computing machine by another
Abstract
No abstract available.
Related
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization