S. Winker Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1990
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
S. Winker: Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean. J. Autom. Reasoning 6(4): 465-489 (1990)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Larry 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
1984
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
[c1]
2Lawrence J. Henschen
[j1]
3Ewing L. Lusk
[c1]
4William McCune
[c1]
5Gary J. Olsen
[j3]
6Ross A. Overbeek
[j3] [c1]
7N. Pfluger
[j3]
8B. Smith
[j1]
9Rick L. Stevens (Rick Stevens)
[c1]
10Robert Veroff
[j1]
11Carl R. Woese
[j3]
12Larry Wos
[c1] [j1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 14:42:41 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page