Picture for Thomas Raths

Thomas Raths

FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends

Add code
Jul 28, 2012
Viaarxiv icon