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

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

28 July 2012

Christoph Benzmüller

ArXiv (abs)PDF HTML

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

0 / 0 papers shown

Title
No papers found