×

zbMATH — the first resource for mathematics

McCune, William W.

Compute Distance To:
Author ID: mccune.william-w Recent zbMATH articles by "McCune, William W."
Published as: McCune, W.; McCune, William; McCune, William W.
Documents Indexed: 41 Publications since 1985, including 2 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 219 times in 152 Documents Cited by Year
Solution of the Robbins problem. Zbl 0883.06011
McCune, William
43
1997
Experiments with discrimination-tree indexing and path indexing for term retrieval. Zbl 0781.68101
McCune, William
18
1992
Set theory in first-order logic: Clauses for Gödel’s axioms. Zbl 0635.03008
Boyer, Robert; Lusk, Ewing; McCune, William; Overbeek, Ross; Stickel, Mark E.; Wos, Lawrence
18
1986
Automated deduction in equational logic and cubic curves. Zbl 0921.03011
McCune, William; Padmanabhan, R.
17
1996
Single axioms for groups and abelian groups with various operations. Zbl 0794.20002
McCune, William W.
17
1993
Experiments in automated deduction with condensed detachment. Zbl 0925.68402
McCune, William; Wos, Larry
10
1992
Short single axioms for Boolean algebra. Zbl 1014.06012
McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry
8
2002
Application of automated deduction to the search for single axioms for exponent groups. Zbl 0925.20002
McCune, William; Wos, Larry
7
1992
Single identities for lattice theory and for weakly associative lattices. Zbl 0901.06006
McCune, W.; Padmanabhan, R.
6
1996
Single axioms for the left group and right group calculi. Zbl 0804.03006
McCune, William W.
6
1993
Automated discovery of new axiomatizations of the left group and right group calculi. Zbl 0782.68105
McCune, William W.
6
1992
The absence and the presence of fixed point combinators. Zbl 0731.03012
McCune, William; Wos, Larry
6
1991
Computer solutions of problems in inverse semigroups. Zbl 1202.20065
Araújo, João; McCune, William
5
2010
Maintaining state constraints in relational databases: A proof theoretic basis. Zbl 0677.68106
McCune, William W.; Henschen, Lawrence J.
5
1989
Erratum to “A case study in automated theorem proving: finding sages in combinatory logic”. Zbl 0652.68106
McCune, William; Wos, Larry
5
1988
A case study in automated theorem proving: Finding sages in combinatory logic. Zbl 0636.68121
McCune, William; Wos, Larry
5
1987
Single identities for ternary Boolean algebras. Zbl 0811.06013
Padmanabhan, R.; McCune, W.
4
1995
Negative paramodulation. Zbl 0643.68143
Wos, L.; McCune, W.
4
1986
Automated discovery of single axioms for ortholattices. Zbl 1084.06007
McCune, W.; Padmanabhan, R.; Rose, M. A.; Veroff, R.
3
2004
System description: IVY. Zbl 0963.68527
McCune, William; Shumsky, Olga
3
2000
Computer and human reasoning: single implicative axioms for groups and for Abelian groups. Zbl 0877.20001
McCune, W.; Sands, A. D.
3
1996
Un-Skolemizing clause sets. Zbl 0709.03007
McCune, William W.
3
1988
Automated reasoning about cubic curves. Zbl 0828.68110
Padmanabhan, R.; McCune, W.
2
1995
Automated reasoning about elementary point-set topology. Zbl 0675.68049
Wick, Cynthia A.; McCune, William W.
2
1989
Paths to high-performance automated theorem proving. Zbl 0609.68060
Butler, Ralph; Lusk, Ewing; McCune, William; Overbeek, Ross
2
1986
Experiments with semantic paramodulation. Zbl 0615.68064
McCune, William; Henschen, Lawrence
2
1985
Lattice laws forcing distributivity under unique complementation. Zbl 1118.06004
Padmanabhan, R.; McCune, W.; Veroff, R.
1
2007
Semantic guidance for saturation provers. Zbl 1156.68570
McCune, William
1
2006
Uniqueness of Steiner laws on cubic curves. Zbl 1112.14067
Padmanabhan, R.; McCune, W.
1
2006
Yet another single law for lattices. Zbl 1092.03018
McCune, William; Padmanabhan, R.; Veroff, Robert
1
2003
SPINning parallel systems software. Zbl 1077.68697
Matlin, Olga Shumsky; Lusk, Ewing; McCune, William
1
2002
Automatic proofs and counterexamples for some ortholattice identities. Zbl 1338.03114
McCune, William
1
1998
Uniform strategies: The CADE-11 theorem proving contest. Zbl 0802.68131
Lusk, Ewing L.; McCune, William W.
1
1993
Challenge equality problems in lattice theory. Zbl 0656.68107
McCune, William
1
1988
Challenge problems focusing on equality and combinatory logic: Evaluating automated theorem-proving programs. Zbl 0656.68103
Wos, Larry; McCune, William
1
1988
Computer solutions of problems in inverse semigroups. Zbl 1202.20065
Araújo, João; McCune, William
5
2010
Lattice laws forcing distributivity under unique complementation. Zbl 1118.06004
Padmanabhan, R.; McCune, W.; Veroff, R.
1
2007
Semantic guidance for saturation provers. Zbl 1156.68570
McCune, William
1
2006
Uniqueness of Steiner laws on cubic curves. Zbl 1112.14067
Padmanabhan, R.; McCune, W.
1
2006
Automated discovery of single axioms for ortholattices. Zbl 1084.06007
McCune, W.; Padmanabhan, R.; Rose, M. A.; Veroff, R.
3
2004
Yet another single law for lattices. Zbl 1092.03018
McCune, William; Padmanabhan, R.; Veroff, Robert
1
2003
Short single axioms for Boolean algebra. Zbl 1014.06012
McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry
8
2002
SPINning parallel systems software. Zbl 1077.68697
Matlin, Olga Shumsky; Lusk, Ewing; McCune, William
1
2002
System description: IVY. Zbl 0963.68527
McCune, William; Shumsky, Olga
3
2000
Automatic proofs and counterexamples for some ortholattice identities. Zbl 1338.03114
McCune, William
1
1998
Solution of the Robbins problem. Zbl 0883.06011
McCune, William
43
1997
Automated deduction in equational logic and cubic curves. Zbl 0921.03011
McCune, William; Padmanabhan, R.
17
1996
Single identities for lattice theory and for weakly associative lattices. Zbl 0901.06006
McCune, W.; Padmanabhan, R.
6
1996
Computer and human reasoning: single implicative axioms for groups and for Abelian groups. Zbl 0877.20001
McCune, W.; Sands, A. D.
3
1996
Single identities for ternary Boolean algebras. Zbl 0811.06013
Padmanabhan, R.; McCune, W.
4
1995
Automated reasoning about cubic curves. Zbl 0828.68110
Padmanabhan, R.; McCune, W.
2
1995
Single axioms for groups and abelian groups with various operations. Zbl 0794.20002
McCune, William W.
17
1993
Single axioms for the left group and right group calculi. Zbl 0804.03006
McCune, William W.
6
1993
Uniform strategies: The CADE-11 theorem proving contest. Zbl 0802.68131
Lusk, Ewing L.; McCune, William W.
1
1993
Experiments with discrimination-tree indexing and path indexing for term retrieval. Zbl 0781.68101
McCune, William
18
1992
Experiments in automated deduction with condensed detachment. Zbl 0925.68402
McCune, William; Wos, Larry
10
1992
Application of automated deduction to the search for single axioms for exponent groups. Zbl 0925.20002
McCune, William; Wos, Larry
7
1992
Automated discovery of new axiomatizations of the left group and right group calculi. Zbl 0782.68105
McCune, William W.
6
1992
The absence and the presence of fixed point combinators. Zbl 0731.03012
McCune, William; Wos, Larry
6
1991
Maintaining state constraints in relational databases: A proof theoretic basis. Zbl 0677.68106
McCune, William W.; Henschen, Lawrence J.
5
1989
Automated reasoning about elementary point-set topology. Zbl 0675.68049
Wick, Cynthia A.; McCune, William W.
2
1989
Erratum to “A case study in automated theorem proving: finding sages in combinatory logic”. Zbl 0652.68106
McCune, William; Wos, Larry
5
1988
Un-Skolemizing clause sets. Zbl 0709.03007
McCune, William W.
3
1988
Challenge equality problems in lattice theory. Zbl 0656.68107
McCune, William
1
1988
Challenge problems focusing on equality and combinatory logic: Evaluating automated theorem-proving programs. Zbl 0656.68103
Wos, Larry; McCune, William
1
1988
A case study in automated theorem proving: Finding sages in combinatory logic. Zbl 0636.68121
McCune, William; Wos, Larry
5
1987
Set theory in first-order logic: Clauses for Gödel’s axioms. Zbl 0635.03008
Boyer, Robert; Lusk, Ewing; McCune, William; Overbeek, Ross; Stickel, Mark E.; Wos, Lawrence
18
1986
Negative paramodulation. Zbl 0643.68143
Wos, L.; McCune, W.
4
1986
Paths to high-performance automated theorem proving. Zbl 0609.68060
Butler, Ralph; Lusk, Ewing; McCune, William; Overbeek, Ross
2
1986
Experiments with semantic paramodulation. Zbl 0615.68064
McCune, William; Henschen, Lawrence
2
1985
all top 5

Cited by 189 Authors

11 Wos, Larry
10 McCune, William W.
6 Kinyon, Michael K.
6 Padmanabhan, Ranganathan
6 Veroff, Robert
5 Araújo, João
4 Fuchs, Matthias
4 Omodeo, Eugenio Giovanni
4 Paulson, Lawrence Charles
4 Spinks, Matthew
4 Sutcliffe, Geoff
3 Claessen, Koen
3 Kunen, Kenneth
3 Lillieström, Ann
3 Phillips, James D.
3 Voronkov, Andrei
2 Andrews, Peter B.
2 Benzmüller, Christoph Ewald
2 Bishop, Matthew
2 Bonacina, Maria Paola
2 Colton, Simon
2 Fiala, Nick C.
2 Formisano, Andrea
2 Grabowski, Adam
2 Graf, Peter A.
2 Hsiang, Jieh
2 Larson, Craig E.
2 Li, Dafa
2 Lisitsa, Alexei
2 Litak, Tadeusz
2 Meier, Andreas
2 Nieuwenhuis, Robert
2 Phillips, Jon D.
2 Plaisted, David Alan
2 Schumann, Johann M. Ph.
2 Siekmann, Jörg H.
2 Sorge, Volker
2 Stickel, Mark E.
2 Subrahmanian, V. S.
2 Suttner, Christian B.
2 Temperini, Marco
2 Van Cleemput, Nicolas
2 Vojtěchovský, Petr
2 Zhang, Hantao
2 Zhang, Jian
2 Zhang, Yang
1 Agre, Keith M.
1 Aguzzoli, Stefano
1 Akman, Varol
1 Alama, Jesse
1 Anantharaman, Siva
1 Autexier, Serge
1 Banerjee, Anindya
1 Baumgartner, Peter
1 Beeson, Michael J.
1 Belinfante, Johan Gijsbertus Frederik
1 Benedikt, Michael A.
1 Bensaid, Hicham
1 Blanchette, Jasmin Christian
1 Böhme, Sascha
1 Bos, Johan
1 Casimiro, Ana Cristina
1 Chadha, Ritu
1 Conrad, Stefan
1 Conradie, Willem J.
1 Dahn, Bernd Ingo
1 Davis, Ernest E.
1 Davis, Jared
1 de Moura, Leonardo
1 de Nivelle, Hans
1 Déharbe, David
1 Endrullis, Jörg
1 Ens, Eric
1 Ernst, Zachary
1 Ferraioli, Anna Rita
1 Fiddian, Nicholas J.
1 Fitelson, Branden
1 Freitas, Leo
1 Fuchs, Dirk
1 Fujita, Hiroshi
1 Gerla, Brunella
1 Ghilardi, Silvio
1 Giese, Martin A.
1 Graf, Peter L.
1 Gray, W. Alex
1 Griffin, Timothy G.
1 Harris, Kenneth D. M.
1 Hart, Joan E.
1 Hasegawa, Ryuzo
1 Helman, Paul
1 Hendriks, Dimitri
1 Hidders, Jan
1 Hillenbrand, Thomas
1 Hutter, Dieter
1 Ibrahim, Hiba Abdullah
1 Issar, Sunil
1 Jakubův, Jan
1 Jech, Thomas J.
1 Jia, Peifa
1 Kahle, Reinhard
...and 89 more Authors
all top 5

Cited in 46 Serials

38 Journal of Automated Reasoning
10 Journal of Symbolic Computation
5 Computers & Mathematics with Applications
4 Artificial Intelligence
3 Semigroup Forum
3 Theoretical Computer Science
3 Annals of Pure and Applied Logic
3 Information and Computation
3 Annals of Mathematics and Artificial Intelligence
3 Journal of Applied Logic
2 Communications in Algebra
2 Information Processing Letters
2 Journal of Algebra
2 Notre Dame Journal of Formal Logic
2 Studia Logica
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of General Systems
1 Applied Mathematics and Computation
1 Fuzzy Sets and Systems
1 Journal of Mathematical Economics
1 The Journal of Symbolic Logic
1 Proceedings of the American Mathematical Society
1 Synthese
1 Topology and its Applications
1 Journal of Computer Science and Technology
1 International Journal of Intelligent Systems
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Artificial Intelligence Review
1 Archive for Mathematical Logic
1 The Australasian Journal of Combinatorics
1 Journal of Applied Non-Classical Logics
1 Theory of Computing Systems
1 Annales Mathematicae Silesianae
1 Concurrency and Computation: Practice & Experience
1 Portugaliae Mathematica. Nova Série
1 Computational Linguistics
1 Journal of Algebra and its Applications
1 Mathematics in Computer Science
1 Journal of Mathematical Cryptology
1 Journal of Formalized Reasoning
1 Formalized Mathematics
1 Journal of Logical and Algebraic Methods in Programming
1 Open Mathematics
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year