Translated title of the contribution | Synthesizing abstract data types by rewrite rules and explanation-based learning |
---|---|
Original language | English |
Publisher | University of Bristol |
Number of pages | 7 |
Publication status | Published - 1992 |
Synthesizing abstract data types by rewrite rules and explanation-based learning
CP Willis, DJ Paddon
Research output: Working paper