Richard Boulton

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A restricted form of higher-order rewriting applied to an HDL semantics Rewriting Techniques and Applications	2022-12-09	Paper
Computer assisted reasoning. A Festschrift for Michael J. C. Gordon Journal of Automated Reasoning	2010-01-25	Paper
scientific article; zbMATH DE number 2185683 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 1956625 (Why is no real title available?)	2003-07-30	Paper
Proofs-as-programs as a framework for the design of an analogy-based ML editor Formal Aspects of Computing	2002-09-25	Paper
scientific article; zbMATH DE number 1696825 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1629957 (Why is no real title available?)	2001-11-06	Paper
Iterative dialogues and automated proof.	2000-01-01	Paper
Transparent optimisation of rewriting combinators Journal of Functional Programming	1999-10-05	Paper
Lazy techniques for fully expansive theorem proving Formal Methods in System Design	1994-04-20	Paper

Research outcomes over time

This page was built for person: Richard Boulton