Similar Items: A proof system for graph (non)-isomorphism verification
- Definable isomorphism problem
- An Analytic Propositional Proof System on Graphs
- On the First-Order Complexity of Induced Subgraph Isomorphism
- Type Isomorphisms for Multiplicative-Additive Linear Logic
- Isomorphisms of types in the presence of higher-order references (extended version)
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory