Yasmine Briefs

Identifiers

• name variant Yasmine Briefs 0.60 · backfill

Papers (1)

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

Mentions

• 2605.21335 #1 · arxiv_oai · confidence 0.70 Yasmine Briefs

Frequent Coauthors

• Christoph Weidenbach 1 shared papers
• Lorenz Leutgeb 1 shared papers
• Martin Bromberger 1 shared papers
• Simon Schwarz 1 shared papers
• Tobias Gehl 1 shared papers