Wilfried Sieg

Publication Activity (10 Years)

Years Active: 1985-2021
Publications (10 Years): 5

Top Topics

Automated Deduction

Computer Algebra

Sequent Calculus

Top Venues

Bull. Symb. Log.

Rev. Symb. Log.

Publications

Wilfried Sieg, Farzaneh Derakhshan
Human-Centered Automated Proof Search. J. Autom. Reason. 65 (8) (2021)
Wilfried Sieg, Patrick Walsh
Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF. Rev. Symb. Log. 14 (1) (2021)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil, Wilfried Sieg
Shortening of Proof Length is Elusive for Theorem Provers. Parallel Process. Lett. 30 (4) (2020)
Wilfried Sieg
What Is the Concept of Computation? CiE (2018)
Charles Parsons, Wilfried Sieg
In Memoriam: Solomon Feferman (1928-2016). Bull. Symb. Log. 23 (3) (2017)
Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil, Wilfried Sieg
Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value. CoRR (2015)
Wilfried Sieg
The AProS Project: Strategic Thinking & Computational Logic. Log. J. IGPL 15 (4) (2007)
Wilfried Sieg
On mind & Turing's machines. Nat. Comput. 6 (2) (2007)
Wilfried Sieg
Gödel's Conflicting Approaches to Effective Calculability. CiE (2006)
Wilfried Sieg
Only two letters: The correspondence between Herbrand and Gödel. Bull. Symb. Log. 11 (2) (2005)
Wilfried Sieg, Dirk Schlimm
Dedekind's Analysis of Number: Systems and Axioms. Synth. 147 (1) (2005)
Wilfried Sieg
Computability and Discrete Dynamical Systems. CiE (2005)
Wilfried Sieg, Saverio Cittadini
Normal Natural Deduction Proofs (in Non-classical Logics). Mechanizing Mathematical Reasoning (2005)
Wilfried Sieg, Clinton Field
Automated search for Gödel's proofs. Ann. Pure Appl. Log. 133 (1-3) (2005)
Wilfried Sieg
Hilbert's programs: 1917-1922. Bull. Symb. Log. 5 (1) (1999)
Wilfried Sieg, John Byrnes
Normal Natural Deduction Proofs (in classical logic). Stud Logica 60 (1) (1998)
Wilfried Sieg, Frank Pfenning
Note by the Guest Editors. Stud Logica 60 (1) (1998)
Wilfried Sieg
Step by recursive step: Church's analysis of effective calculability. Bull. Symb. Log. 3 (2) (1997)
Richard Scheines, Wilfried Sieg
Computer Environments for Proof Construction. Interact. Learn. Environ. 4 (2) (1994)
Wilfried Sieg, Stanley S. Wainer
Program Transformation and Proof Transformation. CSL (1993)
Wilfried Sieg
Herbrand analyses. Arch. Math. Log. 30 (5-6) (1991)
Wilfrid Hodges, Wilfried Sieg
A Symposium on Hilbert's Program. J. Symb. Log. 53 (2) (1988)
Wilfried Sieg
Hilbert's Program Sixty Years Later. J. Symb. Log. 53 (2) (1988)
Wilfried Sieg
Relative Konsistenz. Computation Theory and Logic (1987)
Martin Davis, E. G. K. López-Escobar, Wilfried Sieg
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. J. Symb. Log. 51 (4) (1986)
Wilfried Sieg
Fragments of arithmetic. Ann. Pure Appl. Log. 28 (1) (1985)