MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2021

2. Number - All Departments

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.pdf2002-2-007.pdfReport.ps
  • 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

Hide details for BibTeXBibTeX
@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},
}