Logic program synthesis and transformation: 6th international workshop, LOPSTR’96 Stockholm, Sweden,  august 28-30, 1996 proceedings

John Gallagher

Logic program synthesis and transformation: 6th international workshop, LOPSTR’96 Stockholm, Sweden, august 28-30, 1996 proceedings

^*Corresponding author

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

Originalsprog	Engelsk
Titel	Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR 1996, Proceedings
Redaktører	John Gallagher
Forlag	Springer Verlag
Publikationsdato	1997
ISBN (Trykt)	3540627189, 9783540627180
Status	Udgivet - 1997
Udgivet eksternt	Ja
Begivenhed	6th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1996 - Stockholm, Sverige Varighed: 28 aug. 1996 → 30 aug. 1996

Konference

Konference	6th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1996
Land/Område	Sverige
By	Stockholm
Periode	28/08/1996 → 30/08/1996
Sponsor	Compulog Net

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	1207
ISSN	0302-9743

Andre filer og links

Link to publication in Scopus

Citer dette

Gallagher, John. / Logic program synthesis and transformation : 6th international workshop, LOPSTR’96 Stockholm, Sweden, august 28-30, 1996 proceedings. Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR 1996, Proceedings. red. / John Gallagher. Springer Verlag, 1997. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 1207).

@inproceedings{dd25872d1f844ad784fdf2b66af3f293,

title = "Logic program synthesis and transformation: 6th international workshop, LOPSTR{\textquoteright}96 Stockholm, Sweden, august 28-30, 1996 proceedings",

author = "John Gallagher",

year = "1997",

language = "English",

isbn = "3540627189",

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

publisher = "Springer Verlag",

editor = "John Gallagher",

booktitle = "Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR 1996, Proceedings",

note = "6th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1996 ; Conference date: 28-08-1996 Through 30-08-1996",

}

Gallagher, J 1997, Logic program synthesis and transformation: 6th international workshop, LOPSTR’96 Stockholm, Sweden, august 28-30, 1996 proceedings. i J Gallagher (red.), Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR 1996, Proceedings. Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 1207, 6th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1996, Stockholm, Sverige, 28/08/1996.

Logic program synthesis and transformation: 6th international workshop, LOPSTR’96 Stockholm, Sweden, august 28-30, 1996 proceedings. / Gallagher, John.
Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR 1996, Proceedings. red. / John Gallagher. Springer Verlag, 1997. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 1207).

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

TY - GEN

T1 - Logic program synthesis and transformation

T2 - 6th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1996

AU - Gallagher, John

PY - 1997

Y1 - 1997

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

M3 - Article in proceedings

AN - SCOPUS:84949474505

SN - 3540627189

SN - 9783540627180

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

BT - Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR 1996, Proceedings

A2 - Gallagher, John

PB - Springer Verlag

Y2 - 28 August 1996 through 30 August 1996

ER -

Gallagher J. Logic program synthesis and transformation: 6th international workshop, LOPSTR’96 Stockholm, Sweden, august 28-30, 1996 proceedings. I Gallagher J, red., Logic Program Synthesis and Transformation - 6th International Workshop, LOPSTR 1996, Proceedings. Springer Verlag. 1997. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 1207).