Richard Boulton

From MaRDI portal
Person:1309244

Available identifiers

zbMath Open boulton.richard-jMaRDI QIDQ1309244

List of research outcomes





PublicationDate of PublicationType
A restricted form of higher-order rewriting applied to an HDL semantics2022-12-09Paper
Computer assisted reasoning. A Festschrift for Michael J. C. Gordon2010-01-25Paper
https://portal.mardi4nfdi.de/entity/Q30248622005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q44179822003-07-30Paper
Proofs-as-programs as a framework for the design of an analogy-based ML editor2002-09-25Paper
https://portal.mardi4nfdi.de/entity/Q27670922002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27290732001-11-06Paper
Iterative dialogues and automated proof.2000-01-01Paper
Transparent optimisation of rewriting combinators1999-10-05Paper
Lazy techniques for fully expansive theorem proving1994-04-20Paper

Research outcomes over time

This page was built for person: Richard Boulton

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1309244&oldid=10938431"
Powered by MediaWiki