Open Access22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings
Author(s) -
Rajeev Alur,
Marcelo Arenas,
Pablo Barceló,
Kousha Etessami,
Neil Immerman,
Leonid Libkin
Publication year - 2007
Publication title -
scholarworks@umassamherst (university of massachusetts amherst)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , operations research , engineering