Steven K. Winker

According to our database, Steven K. Winker authored at least 10 papers between 1976 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean.

Steve Winker

J. Autom. Reason., 1990

Structure detection through automated covariance search.

Steve Winker, Ross A. Overbeek, Carl R. Woese, Gary J. Olsen, N. Pfluger

Comput. Appl. Biosci., 1990

Automated Reasoning Contributed to Mathematics and Logic.

Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler

Proceedings of the 10th International Conference on Automated Deduction, 1990

1984

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.

Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen

Artif. Intell., 1984

1983

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.

Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos

Notre Dame J. Formal Log., 1983

1982

Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions.

Steve Winker

J. ACM, 1982

Procedure Implementation Through Demodulation and Related Tricks.

Steven K. Winker, Larry Wos

Proceedings of the 6th Conference on Automated Deduction, 1982

1981

An automated reasoning system.

Larry Wos, Steven K. Winker, Ewing L. Lusk

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1978

Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra.

Steve Winker, Larry Wos

Proceedings of the eighth international symposium on Multiple-valued logic, 1978

1976

An Evaluation of an Implementation of Qualified Hyperresolution.

Steven K. Winker

IEEE Trans. Computers, 1976