Search the dblp DataBase

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]