Author index

fYear

2000

fDate

28-28 June 2000

Firstpage

425

Lastpage

425

Abstract

The author index contains an entry for each author and coauthor included in the proceedings record.

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on

Conference_Location

Santa Barbara, CA, USA

ISSN

1043-6871

Print_ISBN

0-7695-0725-5

Type

conf

DOI

10.1109/LICS.2000.855789

Filename

855789

Link To Document