The program inverter LRinv and its structure

Masahiko Kawabe; Robert Glück

doi:10.1007/978-3-540-30557-6_17

The program inverter LRinv and its structure

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

24 Citations (Scopus)

Original language	English
Title of host publication	Practical Aspects of Declarative Languages. Proceedings
Editors	Manuel Hermenegildo, Daniel Cabeza
Publisher	Springer Verlag
Publication date	2005
Pages	219-234
DOIs	https://doi.org/10.1007/978-3-540-30557-6_17
Publication status	Published - 2005

Series	Lecture notes in computer science
Volume	3350
ISSN	0302-9743

Access to Document

10.1007/978-3-540-30557-6_17

Cite this

The program inverter LRinv and its structure. / Kawabe, Masahiko; Glück, Robert.
Practical Aspects of Declarative Languages. Proceedings. ed. / Manuel Hermenegildo; Daniel Cabeza. Springer Verlag, 2005. p. 219-234 (Lecture notes in computer science, Vol. 3350).

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

@inproceedings{33baccd074be11dbbee902004c4f4f50,

title = "The program inverter LRinv and its structure",

author = "Masahiko Kawabe and Robert Gl{\"u}ck",

year = "2005",

doi = "10.1007/978-3-540-30557-6_17",

language = "English",

series = "Lecture notes in computer science",

publisher = "Springer Verlag",

pages = "219--234",

editor = "Manuel Hermenegildo and Daniel Cabeza",

booktitle = "Practical Aspects of Declarative Languages. Proceedings",

}

TY - GEN

T1 - The program inverter LRinv and its structure

AU - Kawabe, Masahiko

AU - Glück, Robert

PY - 2005

Y1 - 2005

U2 - 10.1007/978-3-540-30557-6_17

DO - 10.1007/978-3-540-30557-6_17

M3 - Article in proceedings

T3 - Lecture notes in computer science

SP - 219

EP - 234

BT - Practical Aspects of Declarative Languages. Proceedings

A2 - Hermenegildo, Manuel

A2 - Cabeza, Daniel

PB - Springer Verlag

ER -