Todd Schmid

Identifiers

No identifiers captured yet.

Papers (2)

1. The Algebra of Iterative Constructions cs.LO · 2026 · author #6
2. Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras math.LO · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Benjamin Lucien Kaminski 1 shared papers
• Christopher J. Eagle 1 shared papers
• Gerwin Klein 1 shared papers
• Henning Urbat 1 shared papers
• Kevin Batz 1 shared papers
• Lucas Kehrer 1 shared papers