Guillaume Allais

Identifiers

• name variant Guillaume Allais 0.60 · backfill

Papers (1)

1. New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized cs.PL · 2013 · author #1

Mentions

• 1304.0809 #1 · backfill · confidence 0.70 Guillaume Allais

Frequent Coauthors

• Conor McBride 1 shared papers
• Pierre Boutillier 1 shared papers