A fast algorithm for renaming a set of clauses as a horn set

Heikki Mannila*, Kurt Mehlhorn

*Corresponding author for this work

Research output: Contribution to journalArticleScientificpeer-review

9 Citations (Scopus)

Abstract


Original languageEnglish
Pages (from-to)269-272
Number of pages4
JournalInformation Processing Letters
Volume21
Issue number5
DOIs
Publication statusPublished - 1985
MoE publication typeA1 Journal article-refereed

Keywords

  • depth-first search
  • Horn clause
  • renaming

Fingerprint

Dive into the research topics of 'A fast algorithm for renaming a set of clauses as a horn set'. Together they form a unique fingerprint.

Cite this