Supplementary Proceedings of ICCS'09

Sebastian RudolphSebastian Rudolph, Frithjof DauFrithjof Dau, Sergei O. KuznetsovSergei O. Kuznetsov

ISSN: 1613-0073

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
Volume 483 of CEUR Workshop Proceedings, July 2009. CEUR

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@proceedings{RDK2009,
  author    = {Sebastian Rudolph and Frithjof Dau and Sergei O. Kuznetsov},
  title     = {Supplementary Proceedings of {ICCS'09}},
  series    = {CEUR Workshop Proceedings},
  volume    = {483},
  publisher = {CEUR},
  year      = {2009},
  month     = {July}
}