dblp.uni-trier.de www.uni-trier.de

18. LICS 2003: Ottawa, Canada

18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings. IEEE Computer Society 2003, ISBN 0-7695-1884-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/lics/2003,
  title     = {18th IEEE Symposium on Logic in Computer Science (LICS 2003),
               22-25 June 2003, Ottawa, Canada, Proceedings},
  booktitle = {LICS},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1884-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

Session 2

Session 3

Session 4

Session 5

Session 6

Session 7

Session 8

Session 9

Session 10

Session 11

Session 12

Session 13

Session 14

Session 15

Session 16

Copyright © Mon Nov 2 20:57:04 2009 by Michael Ley (ley@uni-trier.de)