A Category Theory Approach to Completion-Based Theorem Proving Strategies

Resource

Journal of Information Science and Engineering, 23, p.

Journal

Journal of Information Science and Engineering

Journal Issue

23

Pages

-

Date Issued

1994

Author(s)

Bonacina, M. P.

Hsiang, Jieh

URI

Type

journal article