Carsten Fuhs

Identifiers

• name variant Carsten Fuhs 0.60 · backfill

Papers (7)

1. On Complexity Bounds and Confluence of Parallel Term Rewriting cs.LO · 2023 · author #2
2. A static higher-order dependency pair framework cs.LO · 2019 · author #1
3. The unified higher-order dependency pair framework cs.LO · 2018 · author #1
4. First-Order Formative Rules cs.LO · 2014 · author #1
5. Polynomial Interpretations for Higher-Order Rewriting cs.LO · 2012 · author #1
6. SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers cs.LO · 2011 · author #4
7. Optimal Base Encodings for Pseudo-Boolean Constraints cs.DM · 2010 · author #3

Mentions

• 1404.7695 #1 · backfill · confidence 0.70 Carsten Fuhs
• 1203.5754 #1 · backfill · confidence 0.70 Carsten Fuhs
• 1107.5980 #4 · backfill · confidence 0.70 Carsten Fuhs
• 1007.4935 #3 · backfill · confidence 0.70 Carsten Fuhs

Frequent Coauthors

• Cynthia Kop 4 shared papers
• Michael Codish 2 shared papers
• Amir M. Ben-Amram 1 shared papers
• Igor Gonopolskiy 1 shared papers
• J\"urgen Giesl 1 shared papers
• Laure Gonnord 1 shared papers
• Peter Schneider-Kamp 1 shared papers
• Tha\"is Baudon 1 shared papers
• Yoav Fekete 1 shared papers