Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Computer Science and Information Engineering / 資訊工程學系
TeRSe:A Term Rewriting Theorem Prover
Details
TeRSe:A Term Rewriting Theorem Prover
Resource
Proceedings of the Rewrite Rule Laboratory Workshop
Journal
Rewrite Rule Laboratory Workshop
Pages
-
Date Issued
1985-08
Author(s)
Hsiang, Jieh
Josephson, N. A.
JIEH HSIANG
URI
http://ntur.lib.ntu.edu.tw/handle/246246/118733
http://scholars.lib.ntu.edu.tw/handle/123456789/315827
Type
conference paper
