Robert S. Boyer

Available identifiers

Publication	Date of Publication	Type
A theorem prover for a computational logic	2023-04-28	Paper
A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we?	2020-01-21	Paper
A fast string searching algorithm	2011-08-31	Paper
Toward automating the discovery of decreasing measures	2007-01-30	Paper
Periodic attractors of random truncator maps	2006-06-27	Paper
Properties of a renewal process approximation for a spin market model	2005-01-16	Paper
Statistical properties of the phase transitions in a spin model for market microstructure	2005-01-15	Paper
Automated proofs of object code for a widely used microprocessor	1998-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4040283	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4016540	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3490989	1990-01-01	Paper
The addition of bounded quantification and partial functions to a computational logic and its theorem prover	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3835049	1988-01-01	Paper
A Mechanical Proof of the Unsolvability of the Halting Problem	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345811	1984-01-01	Paper
Proof Checking the RSA Public Key Encryption Algorithm	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709921	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3894958	1979-01-01	Paper
Proving Theorems about LISP Functions	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5663380	1972-01-01	Paper
Computer proofs of limit theorems	1972-01-01	Paper

This page was built for person: Robert S. Boyer