( en | de | ru )

 

Disambiguation of "Hayes, Ian J."

Author of the publication

copydeleteadd this publication to your clipboard
Using Theory Interpretation to Mechanise the Reals in a Theorem Prover.

, , and . CATS, volume 42 of Electronic Notes in Theoretical Computer Science, page 266-281. Elsevier, (2001)

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.

Ian J Elmer

David Hayes

Zachary Hayes

Barry Hayes

Egbert Hayessen

 

Other publications of authors with the same name

Specification Directed Module Testing.. IEEE Trans. Software Eng., 12 (1): 124-133 (1986)A refinement calculus for logic programs., , , , and . Theory Pract. Log. Program., 2 (4-5): 425-460 (2002)Continuous Action System Refinement., and . MPC, volume 4014 of Lecture Notes in Computer Science, page 316-337. Springer, (2006)Handling localisation in rely/guarantee concurrency: An algebraic approach., and . CoRR, (2019)Some remarks on Ämbiguous Machine Architecture".. SIGARCH Comput. Archit. News, 6 (8): 23-24 (1978)Encoding fairness in a synchronous concurrent program algebra: extended version with proofs., and . CoRR, (2018)Model-Driven Web Form Validation with UML and OCL., , , and . ICWE Workshops, volume 7059 of Lecture Notes in Computer Science, page 223-235. Springer, (2011)Refining Specifications to Logic Programs., , and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 1-19. Springer, (1996)Expressive Power of Specification Languages.. Formal Aspects Comput., 10 (2): 187-192 (1998)Supporting Module Reuse in Refinement.. Sci. Comput. Program., 27 (2): 175-184 (1996)