Rewrite Method for Theorem Proving in First Order Theory with Equality

Resource

Journal of Symbolic Computation, v.3, p.133-151

Journal

Journal of Symbolic Computation

Journal Volume

v.3

Pages

133-151

Date Issued

1987

Author(s)

DOI

10.1016/S0747-7171(87)80024-X

URI

http://ntur.lib.ntu.edu.tw/handle/246246/118464

http://scholars.lib.ntu.edu.tw/handle/123456789/331486

Type

journal article