Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

S. Etalle; J.G. Smaus

Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

S. Etalle (Editor), J.G. Smaus (Editor)

Research output: Book/Report › Book editing › Professional

Original language	English
Place of Publication	Amsterdam
Publisher	Elsevier
Number of pages	125
Publication status	Published - 1999

Publication series

Name	Electronic Notes in Theoretical Computer Science
No.	1
Volume	30
ISSN (Print)	1571-0661

Cite this

@book{bc6eef9fe49448c29d1fc12190aa37d9,

title = "Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)",

editor = "S. Etalle and J.G. Smaus",

year = "1999",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "1",

address = "Netherlands",

}

TY - BOOK

T1 - Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

A2 - Etalle, S.

A2 - Smaus, J.G.

PY - 1999

Y1 - 1999

UR - http://www.sciencedirect.com/science/journal/15710661/30/1

M3 - Book editing

T3 - Electronic Notes in Theoretical Computer Science

BT - Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

PB - Elsevier

CY - Amsterdam

ER -

Workshop on Verification of Logic Programs (in connection with ICLP'99, International Conference on Logic Programming, Las Cruces NM, USA, December 1, 1999)

Publication series

Other files and links

Cite this