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

Heikki Mannila*, Kurt Mehlhorn

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

9 Sitaatiot (Scopus)

Abstrakti


AlkuperäiskieliEnglanti
Sivut269-272
Sivumäärä4
JulkaisuInformation Processing Letters
Vuosikerta21
Numero5
DOI - pysyväislinkit
TilaJulkaistu - 1985
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Sormenjälki

Sukella tutkimusaiheisiin 'A fast algorithm for renaming a set of clauses as a horn set'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä