Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
1985 | A Prolog Environment for Developing and Reasoning About Data Types | 項潔; Srivas, M. K.; Goos, G.; Hartmanis, J.; Barstow, D.; Brauer, W.; Hansen, P. Brinch; Gries, D.; Luckham, D.; Moler, C.; Pnueli, A.; Seegmüller, G.; Stoer, H.; Wirth, N. | Proceedings of the Colloquium on Software Engineering(TAPSOFT) | |||
1985 | Two Results in Term Rewriting Theorem Proving | 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. | Rewriting Techniques and Applications |