Steve Winker

Publication Activity (10 Years)

Years Active: 1978-1990
Publications (10 Years): 0

Publications

Steve Winker, Ross A. Overbeek, Carl R. Woese, Gary J. Olsen, N. Pfluger
Structure detection through automated covariance search. Comput. Appl. Biosci. 6 (4) (1990)
Steve Winker
Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean. J. Autom. Reason. 6 (4) (1990)
Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
Automated Reasoning Contributed to Mathematics and Logic. CADE (1990)
Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artif. Intell. 22 (3) (1984)
Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Formal Log. 24 (2) (1983)
Steve Winker
Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions. J. ACM 29 (2) (1982)
Steve Winker, Larry Wos
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra. MVL (1978)