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

Heikki Mannila; Kurt Mehlhorn

doi:10.1016/0020-0190(85)90096-1

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

Heikki Mannila^*, Kurt Mehlhorn

^*Tämän työn vastaava kirjoittaja

Ei julkaistu Aalto-yliopiston affiliaatiolla

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

9 Sitaatiot (Scopus)

Abstrakti

Alkuperäiskieli	Englanti
Sivut	269-272
Sivumäärä	4
Julkaisu	Information Processing Letters
Vuosikerta	21
Numero	5
DOI - pysyväislinkit	https://doi.org/10.1016/0020-0190(85)90096-1
Tila	Julkaistu - 1985
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

10.1016/0020-0190(85)90096-1

SFX-saatavuus

Koko teksti

Siteeraa tätä

@article{b7c796d4c54746f28f3ffbe8005dd0a7,

title = "A fast algorithm for renaming a set of clauses as a horn set",

keywords = "depth-first search, Horn clause, renaming",

author = "Heikki Mannila and Kurt Mehlhorn",

year = "1985",

doi = "10.1016/0020-0190(85)90096-1",

language = "English",

volume = "21",

pages = "269--272",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

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

AU - Mannila, Heikki

AU - Mehlhorn, Kurt

PY - 1985

Y1 - 1985

KW - depth-first search

KW - Horn clause

KW - renaming

U2 - 10.1016/0020-0190(85)90096-1

DO - 10.1016/0020-0190(85)90096-1

M3 - Article

AN - SCOPUS:0022147413

VL - 21

SP - 269

EP - 272

JO - Information Processing Letters

JF - Information Processing Letters

SN - 0020-0190

IS - 5

ER -

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

Abstrakti

Pääsy asiakirjaan

SFX-saatavuus

Sormenjälki

Siteeraa tätä