Proving Refutational Completeness of Theovem-Proving Strategies:The Transfinite Semantic Tree Method

Resource

Journal of the Association for Computing Machinery, v.38 n.3, p.559-587

Journal

Journal of the Association for Computing Machinery

Journal Volume

v.38 n.3

Pages

559-587

Date Issued

1991

Date

1991

Author(s)

URI

Type

journal article

File(s)

Name

16.pdf

Size

23.19 KB

Format

Adobe PDF

Checksum

(MD5):1c7e32881540254c99e642150889c5b8