Larry Wos

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1974
Publication period end
1998
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Wos, Larry (1998): Programs That Offer Fast, Flawless, Logical Reasoning. In Communications of the ACM, 41 (6) pp. 87-95.

Henschen, Lawrence J., Overbeek, Ross A., Wos, Larry (1974): A Theorem-Proving Language for Experimentation. In Communications of the ACM, 17 (6) pp. 308-314.