Synthesising Abstract Data Types by Rewrite Rules and Explanation-Based Learning

CP Willis; DJ Paddon

Synthesising Abstract Data Types by Rewrite Rules and Explanation-Based Learning

CP Willis, DJ Paddon

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Synthesising Abstract Data Types by Rewrite Rules and Explanation-Based Learning
Original language	English
Title of host publication	Unknown
Pages	294 - 300
Number of pages	6
Publication status	Published - 1991

Bibliographical note

Conference Proceedings/Title of Journal: ACM/IEEE Fourth International Conference on Industrial & Engineering Applications of Artificial Intelligence

Handle.net

Persistent link

Cite this

@inproceedings{275acb9178334535802538759acea2fe,

title = "Synthesising Abstract Data Types by Rewrite Rules and Explanation-Based Learning",

author = "CP Willis and DJ Paddon",

note = "Conference Proceedings/Title of Journal: ACM/IEEE Fourth International Conference on Industrial & Engineering Applications of Artificial Intelligence",

year = "1991",

language = "English",

isbn = "187991006",

pages = "294 -- 300",

booktitle = "Unknown",

}

TY - GEN

T1 - Synthesising Abstract Data Types by Rewrite Rules and Explanation-Based Learning

AU - Willis, CP

AU - Paddon, DJ

N1 - Conference Proceedings/Title of Journal: ACM/IEEE Fourth International Conference on Industrial & Engineering Applications of Artificial Intelligence

PY - 1991

Y1 - 1991

M3 - Conference Contribution (Conference Proceeding)

SN - 187991006

SP - 294

EP - 300

BT - Unknown

ER -