HyLoBan

swMATH17659MaRDI QIDQ29514FDOQ29514

Author name not available (Why is that?)

Official website: http://hylo.loria.fr/intohylo/doc/hyloban.1.html

Described by source

• Experiments in theorem proving for topological hybrid logic

Cited In (1)

• HyLoTab

This page was built for software: HyLoBan