The SCEAS System
| |||||||

## Search the dblp DataBase
Chin-Liang Chang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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.041secs, Finished in 0.042secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |