Journal article
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
Authors
Farmer WM
Journal
CoRR, Vol. abs/1305.6052, ,
Publication Date
2013
Experts has a new look! Let us know what you think of the updates.
Provide feedback