Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

S. Etalle

doi:10.1007/b137785

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

Research output: Book/Report › Book editing › Professional

Original language	English
Place of Publication	Berlin
Publisher	Springer
ISBN (Electronic)	9783540316831
ISBN (Print)	3-540-26655-0, 9783540266556
DOIs	https://doi.org/10.1007/b137785
Publication status	Published - 2005

Publication series

Name	Lecture notes in computer science
Volume	3573
ISSN (Print)	0302-9743

Name	LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers
Volume	14

Access to Document

10.1007/b137785

Cite this

Etalle, S. (Ed.) (2005). Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers. (Lecture notes in computer science; Vol. 3573), (LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; Vol. 14). Springer. https://doi.org/10.1007/b137785

@book{0fe864c940e44d54b12f03630a21a35d,

title = "Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers",

editor = "S. Etalle",

year = "2005",

doi = "10.1007/b137785",

language = "English",

isbn = "3-540-26655-0",

series = "Lecture notes in computer science",

publisher = "Springer",

}

Etalle, S (ed.) 2005, Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers. Lecture notes in computer science, vol. 3573, LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers, vol. 14, Springer, Berlin. https://doi.org/10.1007/b137785

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers. / Etalle, S. (Editor).
Berlin: Springer, 2005. (Lecture notes in computer science; Vol. 3573), (LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; Vol. 14).

Research output: Book/Report › Book editing › Professional

TY - BOOK

T1 - Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

A2 - Etalle, S.

PY - 2005

Y1 - 2005

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-26655-6

U2 - 10.1007/b137785

DO - 10.1007/b137785

M3 - Book editing

SN - 3-540-26655-0

SN - 9783540266556

T3 - Lecture notes in computer science

BT - Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

PB - Springer

CY - Berlin

ER -

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

Publication series

Access to Document

Other files and links

Cite this