( en | de | ru )

 

Disambiguation of "Harrison, John"

Author of the publication

copydeleteadd this publication to your clipboard
Experience with Embedding Hardware Description Languages in HOL.

, , , , , and . TPCD, volume A-10 of IFIP Transactions, page 129-156. North-Holland, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dave Harrison

David Harrison

Elizabeth Harrison

Harrison Kia

Rachel Harrison

 

Other publications of authors with the same name

Re-envisioning instructional technology research in higher education environments: a content analysis of a grant program., , , and . J. Comput. High. Educ., 24 (3): 164-181 (2012)A HOL Theory of Euclidean Space.. TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 114-129. Springer, (2005)Verifying the Accuracy of Polynomial Approximations in HOL.. TPHOLs, volume 1275 of Lecture Notes in Computer Science, page 137-152. Springer, (1997)A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format., , , , , and . IEEE Trans. Computers, 58 (2): 148-162 (2009)Theorem proving with the real numbers.. CPHC/BCS distinguished dissertations Springer, (1998)British Library, EThOS.Floating-Point Verification Using Theorem Proving.. SFM, volume 3965 of Lecture Notes in Computer Science, page 211-242. Springer, (2006)Floating Point Verification in HOL Light: The Exponential Function.. AMAST, volume 1349 of Lecture Notes in Computer Science, page 246-260. Springer, (1997)The HOL Light Theory of Euclidean Space.. J. Autom. Reason., 50 (2): 173-190 (2013)A Skeptic's Approach to Combining HOL and Maple., and . J. Autom. Reason., 21 (3): 279-294 (1998)Some new results on decidability for elementary algebra and geometry., , and . Ann. Pure Appl. Log., 163 (12): 1765-1802 (2012)