Habilitation Laurent Simon

  • Armin Biere (Visiting person)

Activity: Other › Outgoing (legacy data)

Description

Paris, Université Paris-Sud 11, Frankreich
Period12 Dec 2010 → 13 Dec 2010

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics
  • 102011 Formal languages

JKU Focus areas

  • Computation in Informatics and Mathematics