The undecidability of deriving atomic formulas from Horn formulas

Technical documentation

Open access

Ann Yasuhara and Mitsuru Yasuhara

Rutgers University

1977

DOI:

https://doi.org/10.7282/t3-9kg6-rn51

Files and links (2)

pdf

DCS-TR-52153.46 kBDownload View

Version of Record (VoR) Technical Documentation Open Access

url

Report an accessibility issueView

Please complete a content remediation request to report an accessibility issue with a library electronic resource, website, or service.

65 File downloads

58 Record Views

Title: Subtitle: The undecidability of deriving atomic formulas from Horn formulas
Creators: Ann Yasuhara (Author) - Computer Science (New Brunswick)
Mitsuru Yasuhara (Author) - Computer Science (New Brunswick)
Date published: 1977
Publisher: Rutgers University
Number of pages: 1 online resource (10 pages)
Academic Unit: School of Arts and Sciences; Computer Science (SAS)
Language: English
Resource Type: Technical documentation
Comment: Technical report DCS-TR-52
Identifiers: 991031549934804646