MPI-I-2002-2-007
Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi
Charatonik, Witold and Ganzinger, Harald
February 2002, 64 pages.
.
Status: available - back from printing
This report contains abstracts of the talks given at the Symposium
on the Effectiveness of Logic in Computer Science in Saarbrücken on
March 4-6, 2002. The symposium was held in honour of Professor Moshe
Vardi, Rice University, on the ocasion of awarding him a Honorary
Doctoral Degree from the Saarland University for his outstanding
contributions to the area of Logic in Computer Science.
-
2002-2-007.pdf
- Attachement: Report.ps (117 KBytes); 2002-2-007.pdf (6041 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2002-2-007
BibTeX
@TECHREPORT{CharatonikGanzinger2002,
AUTHOR = {Charatonik, Witold and Ganzinger, Harald},
TITLE = {Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-2002-2-007},
MONTH = {February},
YEAR = {2002},
ISSN = {0946-011X},
}