Tobias Gehl
Identifiers
- name variant Tobias Gehl 0.60 · backfill
Papers (1)
- A Two-Watched Literal Scheme for First-Order Logic cs.LO · 2026 · author #3
Mentions
- 2605.21335 #3 · arxiv_oai · confidence 0.70 Tobias Gehl
Frequent Coauthors
- Christoph Weidenbach 1 shared papers
- Lorenz Leutgeb 1 shared papers
- Martin Bromberger 1 shared papers
- Simon Schwarz 1 shared papers
- Yasmine Briefs 1 shared papers