Statistics
Publications
14
Citations
1.5K
H-Index
13
Active since
1964
L. Wos is an author at Argonne National Laboratory specializing in computer science, computing, and logic.
Publications per year
1964–1995
14
14
The Concept of Demodulation in Theorem Proving
L. Wos, George Robinson, Daniel F. Carson et al. · Journal of the ACM · 1967 · 182 citations · Full text
Unit Refutations and Horn Sets
Lawrence J. Henschen, L. Wos · Journal of the ACM · 1974 · 148 citations · Full text
1–5 of 14