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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

24 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Practical Aspects of Declarative Languages. Proceedings
Redaktører	Manuel Hermenegildo, Daniel Cabeza
Forlag	Springer Verlag
Publikationsdato	2005
Sider	219-234
DOI	https://doi.org/10.1007/978-3-540-30557-6_17
Status	Udgivet - 2005

Navn	Lecture notes in computer science
Vol/bind	3350
ISSN	0302-9743

Adgang til dokumentet

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

Citationsformater

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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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 -