Searching for authors named "Robert Boyer" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Effective Heuristics for Domain-Specific Online Web Searching
- …Eective Heuristics for Domain-Specic Online Web Searching John Bellardo and Robert Boyer and Greg…
- Add To MetaCart
-
A formal specification of some user mode instructions for the motorola 68020
- … A Formal Specification of Some User Mode Instructions for the Motorola 68020 Robert S. Boyer…
- Cited by 4 (3 self) – Add To MetaCart
-
Efficient implementation of lattice operations
- …Efficient Implementation of Lattice Operations HASSAN A’iT-KACI, ROBERT BOYER, PATRICK LINCOLN…
- Cited by 104 (6 self) – Add To MetaCart
-
A Precise Description of a Computational Logic 1. Apologia Notes for CS 389R
- …A Precise Description of a Computational Logic 1. Apologia Notes for CS 389R Robert S. Boyer and J…
- Add To MetaCart
-
Proof-checking, theorem-proving and program verification
- …Proof-Checking, Theorem-Proving, and Program Verification Robert S. Boyer and J Strother Moore…
- Cited by 4 (0 self) – Add To MetaCart
-
A Theorem Prover for a Computational Logic
- …A Theorem Prover for a Computational Logic 1 Robert S. Boyer J Strother Moore Technical Report 54…
- Cited by 22 (1 self) – Add To MetaCart
-
Mechanized Formal Reasoning about Programs and Computing Machines
- …4 Mechanized Formal Reasoning about Programs and Computing Machines Robert S. Boyer University…
- Cited by 28 (12 self) – Add To MetaCart
-
Proof checking the RSA public key encryption algorithm
- …Proof Checking the RSA Public Key Encryption Algorithm Robert S. Boyer and J Strother Moore…
- Cited by 23 (9 self) – Add To MetaCart
-
A mechanical proof of the Turing completeness of pure LISP
- …A Mechanical Proof of the Turing Completeness of Pure Lisp Robert S. Boyer and J Strother Moore…
- Cited by 12 (7 self) – Add To MetaCart
-
A mechanical proof of the unsolvability of the halting problem
- …A MECHANICAL PROOF OF THE UNSOLVABILITY OF THE HALTING PROBLEM Robert S. Boyer and J Strother…
- Cited by 15 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
