Graph explorer Paper
Research network around Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
Papers, authors, the models and datasets they describe. Click a node to inspect it, double-click to expand, drag to pan, wheel to zoom.
3 nodes · 2 edges
3 nodes · 2 edges
100% · drag to pan · wheel or pinch to zoom · double-click a node to expand
Every node, as a list (3)
Direct relations of Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint), as a list
- Authors 2
- ResearcherChristoph BenzmuellerResearcherDaniel Kirchner