Use of replace rules in theorem proving

Local TagsRelease HistoryDetailsSummary

Use of replace rules in theorem proving

Lee, S.-J., & Plaisted, D. A. (1994). Use of replace rules in theorem proving. Methods of Logic in Computer Science, 1, 217-240.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADB7-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ADB8-0

Genre: Journal Article

show

show

hide

Creators:
Lee, Shie-Jue, Author
Plaisted, David A.¹, Author

Affiliations:
1Max Planck Society, ou_persistent13

show

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1994

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 519553
Other: Local-ID: C1256104005ECAFC-832B4A4D9A5333F9C125615F002CD448-lepl:94b

Degree: -

show

show

show

show

hide

Title: Methods of Logic in Computer Science

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 1 Sequence Number: - Start / End Page: 217 - 240 Identifier: -