A category theory approach to completion-based theorem proving strategies

Resource

Journal of Information Science and Engineering, Vol.12, pp.101-125

Journal

Journal of Information Science and Engineering

Journal Volume

Vol.12

Pages

101-125

Date Issued

1996

Date

1996

Author(s)

Bonacina M. P.

URI

Type

journal article

File(s)

Name

08.pdf

Size

23.96 KB

Format

Adobe PDF

Checksum

(MD5):94fd5acedaf0182065938b3501650bdf