Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wilfried Sieg
@article{DBLP:journals/jar/SiegD21,
author = {Wilfried Sieg and
Farzaneh Derakhshan},
title = {Human-Centered Automated Proof Search},
journal = {J. Autom. Reason.},
volume = {65},
number = {8},
pages = {1153--1190},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09594-z},
doi = {10.1007/S10817-021-09594-Z},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/SiegD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/SiegW21,
author = {Wilfried Sieg and
Patrick Walsh},
title = {Natural Formalization: Deriving the Cantor-Bernstein Theorem in {ZF}},
journal = {Rev. Symb. Log.},
volume = {14},
number = {1},
pages = {250--284},
year = {2021},
url = {https://doi.org/10.1017/S175502031900056X},
doi = {10.1017/S175502031900056X},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/SiegW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/Hernandez-Orozco20,
author = {Santiago Hern{\'{a}}ndez{-}Orozco and
Francisco Hern{\'{a}}ndez Quiroz and
Hector Zenil and
Wilfried Sieg},
title = {Shortening of Proof Length is Elusive for Theorem Provers},
journal = {Parallel Process. Lett.},
volume = {30},
number = {4},
pages = {2050013:1--2050013:14},
year = {2020},
url = {https://doi.org/10.1142/S0129626420500139},
doi = {10.1142/S0129626420500139},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ppl/Hernandez-Orozco20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sieg18,
author = {Wilfried Sieg},
editor = {Florin Manea and
Russell G. Miller and
Dirk Nowotka},
title = {What Is the Concept of Computation?},
booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability
in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10936},
pages = {386--396},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94418-0\_39},
doi = {10.1007/978-3-319-94418-0\_39},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/cie/Sieg18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/ParsonsS17,
author = {Charles Parsons and
Wilfried Sieg},
title = {In Memoriam: Solomon Feferman {(1928-2016)}},
journal = {Bull. Symb. Log.},
volume = {23},
number = {3},
pages = {337--344},
year = {2017},
url = {https://doi.org/10.1017/bsl.2017.27},
doi = {10.1017/BSL.2017.27},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/ParsonsS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/SiegSM16,
author = {Wilfried Sieg and
M{\'{a}}t{\'{e}} Szab{\'{o}} and
Dawn McLaughlin},
editor = {Eugenio G. Omodeo and
Alberto Policriti},
title = {Why Post Did [Not] Have Turing's Thesis},
booktitle = {Martin Davis on Computability, Computational Logic, and Mathematical
Foundations},
series = {Outstanding Contributions to Logic},
volume = {10},
pages = {175--208},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41842-1\_7},
doi = {10.1007/978-3-319-41842-1\_7},
timestamp = {Fri, 28 Dec 2018 18:08:32 +0100},
biburl = {https://dblp.org/rec/books/sp/16/SiegSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hernandez-Orozco15,
author = {Santiago Hern{\'{a}}ndez{-}Orozco and
Francisco Hern{\'{a}}ndez Quiroz and
Hector Zenil and
Wilfried Sieg},
title = {Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between
Computational Time and Information Value},
journal = {CoRR},
volume = {abs/1506.04349},
year = {2015},
url = {http://arxiv.org/abs/1506.04349},
eprinttype = {arXiv},
eprint = {1506.04349},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hernandez-Orozco15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/Sieg14,
author = {Wilfried Sieg},
editor = {Rod Downey},
title = {Step by recursive step: Church's analysis of effective calculability},
booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
series = {Lecture Notes in Logic},
volume = {42},
pages = {434--466},
publisher = {Cambridge University Press},
year = {2014},
url = {https://doi.org/10.1017/CBO9781107338579.013},
doi = {10.1017/CBO9781107338579.013},
timestamp = {Tue, 16 May 2017 14:01:41 +0200},
biburl = {https://dblp.org/rec/books/cu/p/Sieg14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Sieg12,
author = {Wilfried Sieg},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {In the Shadow of Incompleteness: Hilbert and Gentzen},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {87--127},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_5},
doi = {10.1007/978-94-007-4435-6\_5},
timestamp = {Sun, 02 Jun 2019 20:42:14 +0200},
biburl = {https://dblp.org/rec/series/leus/Sieg12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/Sieg09,
author = {Wilfried Sieg},
editor = {Dov M. Gabbay and
John Woods},
title = {Hilbert's Proof Theory},
booktitle = {Logic from Russell to Church},
series = {Handbook of the History of Logic},
volume = {5},
pages = {321--384},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/S1874-5857(09)70012-3},
doi = {10.1016/S1874-5857(09)70012-3},
timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
biburl = {https://dblp.org/rec/series/hhl/Sieg09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sieg07,
author = {Wilfried Sieg},
title = {The AProS Project: Strategic Thinking {\&} Computational Logic},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {359--368},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm026},
doi = {10.1093/JIGPAL/JZM026},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sieg07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/Sieg07,
author = {Wilfried Sieg},
title = {On mind {\&} Turing's machines},
journal = {Nat. Comput.},
volume = {6},
number = {2},
pages = {187--205},
year = {2007},
url = {https://doi.org/10.1007/s11047-006-9021-9},
doi = {10.1007/S11047-006-9021-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/Sieg07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sieg06,
author = {Wilfried Sieg},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {G{\"{o}}del's Conflicting Approaches to Effective Calculability},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {536--537},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_54},
doi = {10.1007/11780342\_54},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sieg06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SiegF05,
author = {Wilfried Sieg and
Clinton Field},
title = {Automated search for G{\"{o}}del's proofs},
journal = {Ann. Pure Appl. Log.},
volume = {133},
number = {1-3},
pages = {319--338},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.014},
doi = {10.1016/J.APAL.2004.10.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SiegF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Sieg05,
author = {Wilfried Sieg},
title = {Only two letters: The correspondence between Herbrand and G{\"{o}}del},
journal = {Bull. Symb. Log.},
volume = {11},
number = {2},
pages = {172--184},
year = {2005},
url = {https://doi.org/10.2178/bsl/1120231628},
doi = {10.2178/BSL/1120231628},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Sieg05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/SiegS05,
author = {Wilfried Sieg and
Dirk Schlimm},
title = {Dedekind's Analysis of Number: Systems and Axioms},
journal = {Synth.},
volume = {147},
number = {1},
pages = {121--170},
year = {2005},
url = {https://doi.org/10.1007/s11229-004-6300-9},
doi = {10.1007/S11229-004-6300-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/SiegS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SiegC05,
author = {Wilfried Sieg and
Saverio Cittadini},
editor = {Dieter Hutter and
Werner Stephan},
title = {Normal Natural Deduction Proofs (in Non-classical Logics)},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {169--191},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_11},
doi = {10.1007/978-3-540-32254-2\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SiegC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sieg05,
author = {Wilfried Sieg},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Computability and Discrete Dynamical Systems},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {440--440},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_54},
doi = {10.1007/11494645\_54},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sieg05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Sieg99,
author = {Wilfried Sieg},
title = {Hilbert's programs: 1917-1922},
journal = {Bull. Symb. Log.},
volume = {5},
number = {1},
pages = {1--44},
year = {1999},
url = {https://doi.org/10.2307/421139},
doi = {10.2307/421139},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Sieg99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SiegP98,
author = {Wilfried Sieg and
Frank Pfenning},
title = {Note by the Guest Editors},
journal = {Stud Logica},
volume = {60},
number = {1},
pages = {1},
year = {1998},
url = {https://doi.org/10.1023/A:1005065031956},
doi = {10.1023/A:1005065031956},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SiegP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SiegB98,
author = {Wilfried Sieg and
John Byrnes},
title = {Normal Natural Deduction Proofs (in classical logic)},
journal = {Stud Logica},
volume = {60},
number = {1},
pages = {67--106},
year = {1998},
url = {https://doi.org/10.1023/A:1005091418752},
doi = {10.1023/A:1005091418752},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SiegB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Sieg97,
author = {Wilfried Sieg},
title = {Step by recursive step: Church's analysis of effective calculability},
journal = {Bull. Symb. Log.},
volume = {3},
number = {2},
pages = {154--180},
year = {1997},
url = {https://doi.org/10.2307/421012},
doi = {10.2307/421012},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Sieg97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ile/ScheinesS94,
author = {Richard Scheines and
Wilfried Sieg},
title = {Computer Environments for Proof Construction},
journal = {Interact. Learn. Environ.},
volume = {4},
number = {2},
pages = {159--169},
year = {1994},
url = {https://doi.org/10.1080/1049482940040203},
doi = {10.1080/1049482940040203},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ile/ScheinesS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SiegW93,
author = {Wilfried Sieg and
Stanley S. Wainer},
editor = {Egon B{\"{o}}rger and
Yuri Gurevich and
Karl Meinke},
title = {Program Transformation and Proof Transformation},
booktitle = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
September 13-17, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {832},
pages = {305--317},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0049339},
doi = {10.1007/BFB0049339},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/SiegW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Sieg91,
author = {Wilfried Sieg},
title = {Herbrand analyses},
journal = {Arch. Math. Log.},
volume = {30},
number = {5-6},
pages = {409--441},
year = {1991},
url = {https://doi.org/10.1007/BF01621477},
doi = {10.1007/BF01621477},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Sieg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HodgesS88,
author = {Wilfrid Hodges and
Wilfried Sieg},
title = {A Symposium on Hilbert's Program},
journal = {J. Symb. Log.},
volume = {53},
number = {2},
pages = {337},
year = {1988},
url = {https://doi.org/10.1017/S0022481200028280},
doi = {10.1017/S0022481200028280},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HodgesS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sieg88,
author = {Wilfried Sieg},
title = {Hilbert's Program Sixty Years Later},
journal = {J. Symb. Log.},
volume = {53},
number = {2},
pages = {338--348},
year = {1988},
url = {https://doi.org/10.1017/S0022481200028292},
doi = {10.1017/S0022481200028292},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sieg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Sieg87,
author = {Wilfried Sieg},
editor = {Egon B{\"{o}}rger},
title = {Relative Konsistenz},
booktitle = {Computation Theory and Logic, In Memory of Dieter R{\"{o}}dding},
series = {Lecture Notes in Computer Science},
volume = {270},
pages = {360--381},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18170-9\_179},
doi = {10.1007/3-540-18170-9\_179},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Sieg87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DavisLS86,
author = {Martin Davis and
E. G. K. L{\'{o}}pez{-}Escobar and
Wilfried Sieg},
title = {Meeting of the Association for Symbolic Logic: Washington, D. C.,
1985},
journal = {J. Symb. Log.},
volume = {51},
number = {4},
pages = {1085--1092},
year = {1986},
url = {https://doi.org/10.2307/2273930},
doi = {10.2307/2273930},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DavisLS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sieg85,
author = {Wilfried Sieg},
title = {Fragments of arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {28},
number = {1},
pages = {33--71},
year = {1985},
url = {https://doi.org/10.1016/0168-0072(85)90030-2},
doi = {10.1016/0168-0072(85)90030-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Sieg85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
