Daniel Wand

Doctoral researcher,

 

Max-Planck-Institut für Informatik
Saarland Informatics Campus E1 4
66123 Saarbrücken

+49 681 9325-2926, fax -2999

dwand@mpi-inf.mpg.de

 

Physical address: building E1 5, room 621

Academic Activities

Teaching

    Drafts

    • Automating Induction inside Superposition
      Daniel Wand and Christoph Weidenbach.
      Draft (PDF)     Syntax example file
    • Typed Superposition
      Daniel Wand and Christoph Weidenbach.
      Draft

    Publications

    Workshops