Graph explorer Researcher

Around Daniel Kirchner

Every recorded relation of Daniel Kirchner, coloured by entity type. Click a node to open it.

Depth 1 Depth 2

2 nodes · 1 edges

Direct relations, as a list

Authored 1: PaperMonadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)