Pierre Boutry

Identifiers

• name variant Pierre Boutry 0.60 · backfill

Papers (1)

1. Herbrand's theorem and non-Euclidean geometry math.LO · 2014 · author #2

Mentions

• 1410.2239 #2 · backfill · confidence 0.70 Pierre Boutry

Frequent Coauthors

• Julien Narboux 1 shared papers
• Michael Beeson 1 shared papers