Preface: Volume 30, Issue 1

Research output: Contribution to journal › Conference article › Academic

107 Downloads (Pure)

Original language	English
Pages (from-to)	125-125
Journal	Electronic notes in theoretical computer science
Volume	30
Issue number	1
DOIs	https://doi.org/10.1016/S1571-0661(05)80568-7
Publication status	Published - Dec 1999
Event	Workshop on Verification of Logic Programs 1999 - Las Cruces, United States Duration: 1 Dec 1999 → 1 Dec 1999

Access to Document

@article{cb57f08c99f44a0c8ad6a67e49fee390,

title = "Preface: Volume 30, Issue 1",

author = "Sandro Etalle and Jan-Georg Smaus",

year = "1999",

month = dec,

doi = "10.1016/S1571-0661(05)80568-7",

language = "English",

volume = "30",

pages = "125--125",

journal = "Electronic notes in theoretical computer science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1",

note = "Workshop on Verification of Logic Programs 1999 ; Conference date: 01-12-1999 Through 01-12-1999",

}

TY - JOUR

T1 - Preface: Volume 30, Issue 1

AU - Etalle, Sandro

AU - Smaus, Jan-Georg

PY - 1999/12

Y1 - 1999/12

U2 - 10.1016/S1571-0661(05)80568-7

DO - 10.1016/S1571-0661(05)80568-7

M3 - Conference article

SN - 1571-0661

VL - 30

SP - 125

EP - 125

JO - Electronic notes in theoretical computer science

JF - Electronic notes in theoretical computer science

IS - 1

T2 - Workshop on Verification of Logic Programs 1999

Y2 - 1 December 1999 through 1 December 1999

ER -