The SCEAS System
Navigation Menu

Search the dblp DataBase


Chin-Liang Chang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chin-Liang Chang
    On Evaluation of Queries Containing Derived Relations in a Relational Data Base. [Citation Graph (33, 0)][DBLP]
    Advances in Data Base Theory, 1979, pp:235-260 [Conf]
  2. Chin-Liang Chang
    DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. [Citation Graph (15, 0)][DBLP]
    Logic and Data Bases, 1977, pp:201-236 [Conf]
  3. Nan C. Shu, Vincent Y. Lum, F. C. Tung, Chin-Liang Chang
    Specification of Forms Processing and Business Procedures for Office Automation. [Citation Graph (14, 0)][DBLP]
    IEEE Trans. Software Eng., 1982, v:8, n:5, pp:499-512 [Journal]
  4. Chin-Liang Chang, Adrian Walker
    PROSQL: A Prolog Programming Interface with SQL/DS. [Citation Graph (8, 0)][DBLP]
    Expert Database Workshop, 1984, pp:233-246 [Conf]
  5. Chin-Liang Chang, James R. Slagle
    An Admissible and Optimal Algorithm for Searching AND/OR Graphs. [Citation Graph (2, 0)][DBLP]
    Artif. Intell., 1971, v:2, n:2, pp:117-128 [Journal]
  6. Chin-Liang Chang
    The Unit Proof and the Input Proof in Theorem Proving. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1970, v:17, n:4, pp:698-707 [Journal]
  7. Chin-Liang Chang
    Heuristic Scheduling in a Dynamic Production Environment: A Practical Case. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1995, pp:711-719 [Conf]
  8. James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
    Completeness Theorems for Semantic Resolution in Consequence-Finding. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1969, pp:281-286 [Conf]
  9. Chin-Liang Chang
    Renamable Paramodulation for Automatic Theorem Proving with Equality. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1970, v:1, n:4, pp:247-256 [Journal]
  10. Chin-Liang Chang, James R. Slagle
    Using Rewriting Rules for Connection Graphs to Prove Theorems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1979, v:12, n:2, pp:159-178 [Journal]
  11. Richard C. T. Lee, Chin-Liang Chang, Richard J. Waldinger
    An Improved Program-Synthesizing Algorithm and Its Correctness. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:4, pp:211-217 [Journal]
  12. Richard C. T. Lee, Chin-Liang Chang
    Some Properties of Fuzzy Logic [Citation Graph (0, 0)][DBLP]
    Information and Control, 1971, v:19, n:5, pp:417-431 [Journal]
  13. Chin-Liang Chang, James R. Slagle
    Completeness of Linear Refutation for Theories with Equality. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1971, v:18, n:1, pp:126-136 [Journal]
  14. James R. Slagle, Chin-Liang Chang, Richard C. T. Lee
    Experiments with some cluster analysis algorithms. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition, 1974, v:6, n:3-4, pp:181-187 [Journal]
  15. Chin-Liang Chang, Richard C. T. Lee, John K. Dixon
    The Specialization of Programs by Theorem Proving. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1973, v:2, n:1, pp:7-15 [Journal]
  16. Andy N. C. Kang, Richard C. T. Lee, Chin-Liang Chang, Shi-Kuo Chang
    Storage Reduction Through Minimal Spanning Trees and Spanning Forests. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1977, v:26, n:5, pp:425-434 [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