Orderings for Equational Proofs

Resource

The Symposium on Logic in Computer Science, Boston

Journal

The Symposium on Logic in Computer Science

Pages

-

Date Issued

1986-07

Author(s)

Bachmair, L.

Dershowitz, D.

Hsiang, Jieh

URI

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

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

Description

Boston

Type

conference paper