Canonical sets of horn clauses

Nachum Dershowitz

doi:10.1007/3-540-54233-7_140

Canonical sets of horn clauses

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Automata, Languages and Programming - 18th International Colloquium, Proceedings
Editors	Javier Leach Albert, Mario Rodriguez Artalejo, Burkhard Monien
Publisher	Springer Verlag
Pages	267-278
Number of pages	12
ISBN (Print)	9783540542339
DOIs	https://doi.org/10.1007/3-540-54233-7_140
State	Published - 1991
Externally published	Yes
Event	18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991 - Madrid, Spain Duration: 8 Jul 1991 → 12 Jul 1991

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	510 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991
Country/Territory	Spain
City	Madrid
Period	8/07/91 → 12/07/91

Access to Document

10.1007/3-540-54233-7_140

Cite this

Dershowitz, N. (1991). Canonical sets of horn clauses. In J. L. Albert, M. R. Artalejo, & B. Monien (Eds.), Automata, Languages and Programming - 18th International Colloquium, Proceedings (pp. 267-278). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 510 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-54233-7_140

Dershowitz, Nachum. / Canonical sets of horn clauses. Automata, Languages and Programming - 18th International Colloquium, Proceedings. editor / Javier Leach Albert ; Mario Rodriguez Artalejo ; Burkhard Monien. Springer Verlag, 1991. pp. 267-278 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3ed7982fbb274cf7a1338d62524cf2c2,

title = "Canonical sets of horn clauses",

author = "Nachum Dershowitz",

note = "Funding Information: *This research supported in part by the National Science Foundation under Grant CCR-9007195.; null ; Conference date: 08-07-1991 Through 12-07-1991",

year = "1991",

doi = "10.1007/3-540-54233-7_140",

language = "אנגלית",

isbn = "9783540542339",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "267--278",

editor = "Albert, {Javier Leach} and Artalejo, {Mario Rodriguez} and Burkhard Monien",

booktitle = "Automata, Languages and Programming - 18th International Colloquium, Proceedings",

}

Dershowitz, N 1991, Canonical sets of horn clauses. in JL Albert, MR Artalejo & B Monien (eds), Automata, Languages and Programming - 18th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 510 LNCS, Springer Verlag, pp. 267-278, 18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991, Madrid, Spain, 8/07/91. https://doi.org/10.1007/3-540-54233-7_140

Canonical sets of horn clauses. / Dershowitz, Nachum.

Automata, Languages and Programming - 18th International Colloquium, Proceedings. ed. / Javier Leach Albert; Mario Rodriguez Artalejo; Burkhard Monien. Springer Verlag, 1991. p. 267-278 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 510 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Canonical sets of horn clauses

AU - Dershowitz, Nachum

N1 - Funding Information: *This research supported in part by the National Science Foundation under Grant CCR-9007195.

PY - 1991

Y1 - 1991

UR - http://www.scopus.com/inward/record.url?scp=84974725766&partnerID=8YFLogxK

U2 - 10.1007/3-540-54233-7_140

DO - 10.1007/3-540-54233-7_140

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84974725766

SN - 9783540542339

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 267

EP - 278

BT - Automata, Languages and Programming - 18th International Colloquium, Proceedings

A2 - Albert, Javier Leach

A2 - Artalejo, Mario Rodriguez

A2 - Monien, Burkhard

PB - Springer Verlag

Y2 - 8 July 1991 through 12 July 1991

ER -

Dershowitz N. Canonical sets of horn clauses. In Albert JL, Artalejo MR, Monien B, editors, Automata, Languages and Programming - 18th International Colloquium, Proceedings. Springer Verlag. 1991. p. 267-278. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-54233-7_140

Canonical sets of horn clauses

Publication series

Conference

Access to Document

Other files and links

Cite this