The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Wilfried Sieg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wilfried Sieg
    Relative Konsistenz. [Citation Graph (0, 0)][DBLP]
    Computation Theory and Logic, 1987, pp:360-381 [Conf]
  2. Wilfried Sieg, Saverio Cittadini
    Normal Natural Deduction Proofs (in Non-classical Logics). [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:169-191 [Conf]
  3. Wilfried Sieg
    Computability and Discrete Dynamical Systems. [Citation Graph (0, 0)][DBLP]
    CiE, 2005, pp:440-440 [Conf]
  4. Wilfried Sieg
    Gödel's Conflicting Approaches to Effective Calculability. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:536-537 [Conf]
  5. Wilfried Sieg, Stanley S. Wainer
    Program Transformation and Proof Transformation. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:305-317 [Conf]
  6. Wilfried Sieg, Clinton Field
    Automated search for Gödel's proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:319-338 [Journal]
  7. Wilfried Sieg
    Only two letters: The correspondence between Herbrand and Gödel. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2005, v:11, n:2, pp:172-184 [Journal]
  8. Wilfried Sieg
    Step by recursive step: Church's analysis of effective calculability. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1997, v:3, n:2, pp:154-180 [Journal]
  9. Wilfried Sieg
    Hilbert's programs: 1917--1922. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1999, v:5, n:1, pp:1-44 [Journal]
  10. Wilfrid Hodges, Wilfried Sieg
    A Symposium on Hilbert's Program. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:337- [Journal]
  11. Wilfried Sieg
    Hilbert's Program Sixty Years Later. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:338-348 [Journal]
  12. Wilfried Sieg, John Byrnes
    Normal Natural Deduction Proofs (in classical logic). [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:1, pp:67-106 [Journal]
  13. Wilfried Sieg, Frank Pfenning
    Note by the Guest Editors. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:1, pp:1- [Journal]
  14. Wilfried Sieg
    On mind & Turing's machines. [Citation Graph (0, 0)][DBLP]
    Natural Computing, 2007, v:6, n:2, pp:187-205 [Journal]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002