Richard J. Boulton

Available identifiers

zbMath Open boulton.richard-jMaRDI QIDQ1309244

List of research outcomes

Publication	Date of Publication	Type
A restricted form of higher-order rewriting applied to an HDL semantics	2022-12-09	Paper
Computer assisted reasoning. A Festschrift for Michael J. C. Gordon	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q3024862	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417982	2003-07-30	Paper
Proofs-as-programs as a framework for the design of an analogy-based ML editor	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2767092	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2729073	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2782495	2000-01-01	Paper
Transparent optimisation of rewriting combinators	1999-10-05	Paper
Lazy techniques for fully expansive theorem proving	1994-04-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard J. Boulton