Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Larry Wos

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with William McCune

> Home > Persons > Larry Wos

Publications

2002
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/McCuneVFHFW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/McCuneVFHFW02
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos:
Short Single Axioms for Boolean Algebra. J. Autom. Reason. 29(1): 1-16 (2002)
1997
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/McCuneW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/McCuneW97
William McCune, Larry Wos:
Otter - The CADE-13 Competition Incarnations. J. Autom. Reason. 18(2): 211-220 (1997)
1992
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/WosM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/WosM92
Larry Wos, William McCune:
The Application of Automated Reasoning to Questions in Mathematics and Logic. Ann. Math. Artif. Intell. 5(2-4): 321-369 (1992)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/McCuneW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/McCuneW92
William McCune, Larry Wos:
Experiments in Automated Deduction with Condensed Detachment. CADE 1992: 209-223
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/McCuneW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/McCuneW92
William McCune, Larry Wos:
Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. LPAR 1992: 131-136
1991
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/WosM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/WosM91
Larry Wos, William McCune:
Automated Theorem Proving and Logic Programming. J. Log. Program. 11(1&2): 1-53 (1991)
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/McCuneW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/McCuneW91
William McCune, Larry Wos:
The Absence and the Presence of Fixed Point Combinators. Theor. Comput. Sci. 87(1): 221-228 (1991)
1990
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/WosWMOLSB90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WosWMOLSB90
Larry Wos, Steve 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
1988
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/WosM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WosM88
Larry Wos, William McCune:
Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs. CADE 1988: 714-729
1987
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/McCuneW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/McCuneW87
William McCune, Larry Wos:
A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic. J. Autom. Reason. 3(1): 91-107 (1987)
1986
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoyerLMOSW86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoyerLMOSW86
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos:
Set Theory in First-Order Logic: Clauses for Gödel's Axioms. J. Autom. Reason. 2(3): 287-327 (1986)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/WosM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WosM86
Larry Wos, William McCune:
Negative Paramodulation. CADE 1986: 229-239
1984
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/WosVSM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WosVSM84
Larry Wos, Robert Veroff, Barry Smith, William McCune:
The Linked Inference Principle, II: The User's Viewpoint. CADE 1984: 316-332

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.