Serge Autexier

Identifiers

• name variant Serge Autexier 0.60 · backfill

Papers (4)

1. Proceedings of the 12th Workshop on User Interfaces for Theorem Provers cs.HC · 2017 · author #1
2. Structure Formation in Large Theories cs.LO · 2015 · author #1
3. Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics cs.DL · 2011 · author #1
4. Lectures on Jacques Herbrand as a Logician cs.LO · 2009 · author #4

Mentions

• 1505.01620 #1 · backfill · confidence 0.70 Serge Autexier
• 1105.2392 #1 · backfill · confidence 0.70 Serge Autexier
• 0902.4682 #4 · backfill · confidence 0.70 Serge Autexier

Frequent Coauthors

• Catalin David 1 shared papers
• Christoph Benzmueller 1 shared papers
• Claus-Peter Wirth 1 shared papers
• Dieter Hutter 1 shared papers
• Dominik Dietrich 1 shared papers
• Joerg Siekmann 1 shared papers
• Michael Kohlhase 1 shared papers
• Pedro Quaresma 1 shared papers
• Vyacheslav Zholudev 1 shared papers