dblp.uni-trier.dewww.uni-trier.de

S. Winker Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1990
4EELarry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler: Automated Reasoning Contributed to Mathematics and Logic. CADE 1990: 485-499
3 S. Winker, Ross A. Overbeek, Carl R. Woese, Gary J. Olsen, N. Pfluger: Structure detection through automated covariance search. Computer Applications in the Biosciences 6(4): 365-371 (1990)
2 S. Winker: Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean. J. Autom. Reasoning 6(4): 465-489 (1990)
1984
1 Larry Wos, S. Winker, B. 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): 303-356 (1984)

Coauthor Index

1Ralph M. Butler (Ralph Butler) [4]
2Lawrence J. Henschen [1]
3Ewing L. Lusk [4]
4William McCune [4]
5Gary J. Olsen [3]
6Ross A. Overbeek [3] [4]
7N. Pfluger [3]
8B. Smith [1]
9Rick L. Stevens (Rick Stevens) [4]
10Robert Veroff [1]
11Carl R. Woese [3]
12Larry Wos [1] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)