Lorenz Leutgeb

Identifiers

• name variant Lorenz Leutgeb 0.60 · backfill

Papers (1)

1. A Two-Watched Literal Scheme for First-Order Logic cs.LO · 2026 · author #4

Mentions

• 2605.21335 #4 · arxiv_oai · confidence 0.70 Lorenz Leutgeb

Frequent Coauthors

• Christoph Weidenbach 1 shared papers
• Martin Bromberger 1 shared papers
• Simon Schwarz 1 shared papers
• Tobias Gehl 1 shared papers
• Yasmine Briefs 1 shared papers