Kilian Risse

Identifiers

No identifiers captured yet.

Papers (1)

1. Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size cs.CC · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• David Engstr\"om 1 shared papers
• Susanna F. de Rezende 1 shared papers
• Yassine Ghannane 1 shared papers