Louis Rustenholz

Identifiers

• name variant Louis Rustenholz 0.60 · backfill

Papers (2)

1. Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners cs.LO · 2026 · author #1
2. Big-step and small-step Horn clause derivations applied to operational semantics cs.PL · 2026 · author #5

Mentions

• 2606.23516 #1 · arxiv_oai · confidence 0.70 Louis Rustenholz
• 2606.20944 #5 · arxiv_oai · confidence 0.70 Louis Rustenholz

Frequent Coauthors

• Pedro Lopez-Garcia 2 shared papers
• Alessio Mansutti 1 shared papers
• F\'elix Ridoux 1 shared papers
• John P. Gallagher 1 shared papers
• Jos\'e Morales 1 shared papers
• Manuel Hermenegildo 1 shared papers
• Manuel V. Hermenegildo 1 shared papers
• Niki Vazou 1 shared papers