Chin-Liang Chang

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

Coauthor Index

1	Robert S. Arnold	[13]
2	Jean-Marc Cadiou	[13]
3	Shi-Kuo Chang	[11]
4	E. F. Codd (Edgar F. Codd)	[13]
5	John K. Dixon	[7]
6	Andy N. C. Kang	[11]
7	Richard C. T. Lee (Richard Chia-Tung Lee)	[1] [5] [7] [8] [9] [10] [11]
8	Vincent Y. Lum	[16]
9	Nick Roussopoulos	[13]
10	Nan C. Shu	[16]
11	James R. Slagle	[1] [4] [6] [9] [14]
12	F. C. Tung	[16]
13	Richard J. Waldinger	[10]
14	Adrian Walker	[17]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page