https://scholars.lib.ntu.edu.tw/handle/123456789/115916
Title: | Two Results in Term Rewriting Theorem Proving | Authors: | Goos, G. Hartmanis, J. Barstow, D. Brauer, W. Hansen, P. Brinch Gries, D. Luckham, D. Moler, C. Pnueli, A. Seegmüller, G. Stoer, J. Wirth, N. |
Issue Date: | Dec-1985 | Publisher: | Springer-Verlag | Start page/Pages: | 310-324 | Source: | Rewriting Techniques and Applications | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/118738 |
Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.