Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment

C. G. Díaz,F. Martín-Mateos,M. Pérez-Jiménez
DOI: https://doi.org/10.1007/3-540-45833-6_11
2002-10-15
Abstract:
What problem does this paper attempt to address?