Iteration in ACL2. | 0 | 0.34 | 2020 |
Rough Diamond: An Extension of Equivalence-Based Rewriting. | 1 | 0.37 | 2014 |
A Futures Library and Parallelism Abstractions for a Functional Subset of Lisp. | 0 | 0.34 | 2011 |
ACL2 Support for Verification Projects (Invited Talk) | 4 | 0.96 | 1998 |
Commercial Design Verification: Methodology and Tools | 12 | 1.22 | 1996 |
An Informal Discussion of Issues in Mechanically-Assisted Reasoning | 1 | 0.34 | 1991 |
RCL: a Lisp verification system | 0 | 0.34 | 1990 |
The Hanf number of stationary logic. | 0 | 0.34 | 1986 |
A note on the Hanf number of second-order logic. | 0 | 0.34 | 1985 |
On Random Models Of Finite Power And Monadic Logic | 25 | 9.44 | 1985 |
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984 | 0 | 0.34 | 1985 |
DEFINABLE ULTRAPOWERS AND ULTRAFILTERS OVER ADMISSIBLE ORDINALS | 0 | 0.34 | 1984 |
Some remarks on equivalence in infinitary and stationary logic. | 0 | 0.34 | 1984 |
The Strength Of Nonstandard Methods In Arithmetic | 9 | 4.35 | 1984 |
Blunt and Topless End Extensions of Models of Set Theory | 2 | 0.66 | 1983 |
Set Theory With a Filter Quantifier | 2 | 0.69 | 1983 |