The SCEAS System
Navigation Menu

Search the dblp DataBase


Shih Ping Tung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shih Ping Tung
    Algorithms for Sentences over Integral Domains. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:47, n:2, pp:189-197 [Journal]
  2. Shih Ping Tung
    Skolem functions of arithmetical sentences. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:185, n:1, pp:56-65 [Journal]
  3. Shih Ping Tung
    Polynomial Time Algorithms for Sentences over Number Fields [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:97, n:2, pp:262-276 [Journal]
  4. Shih Ping Tung
    The Bounds of Skolem Functions and Their Applications [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:1, pp:149-154 [Journal]
  5. Shih Ping Tung
    Computational Complexity of Arithmetical Sentences [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:2, pp:315-325 [Journal]
  6. Shih Ping Tung
    Sentences over Integral Domains and Their Computational Complexities. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:149, n:2, pp:99-133 [Journal]
  7. Shih Ping Tung
    Computational Complexities of Diophantine Equations with Parameters. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 1987, v:8, n:3, pp:324-336 [Journal]
  8. Shih Ping Tung
    Approximate Solutions of Polynomial Equations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:33, n:2, pp:239-254 [Journal]
  9. Shih Ping Tung
    Definability in Number Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:1, pp:152-155 [Journal]
  10. Shih Ping Tung
    Decidable Fragments of Field Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:3, pp:1007-1018 [Journal]
  11. Shih Ping Tung
    Arithmetic Definability by Formulas with Two Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:1, pp:1-11 [Journal]
  12. Shih Ping Tung
    Complexity of Sentences Over Number Rings. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1991, v:20, n:1, pp:126-143 [Journal]

Search in 0.004secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002