Thomas Raths

Identifiers

• name variant Thomas Raths 0.60 · backfill

Papers (1)

1. FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends cs.LO · 2012 · author #2

Mentions

• 1207.6685 #2 · backfill · confidence 0.70 Thomas Raths

Frequent Coauthors

• Christoph Benzmueller 1 shared papers