Universit\'e de Lyon)

Identifiers

• name variant Universit\'e de Lyon) 0.60 · backfill

Papers (2)

1. Tiling Problems on Baumslag-Solitar groups cs.DM · 2013 · author #6
2. Strong Normalization for HA + EM1 by Non-Deterministic Choice cs.LO · 2013 · author #2

Mentions

• 1309.1266 #6 · backfill · confidence 0.70 Universit\'e de Lyon)
• 1309.1254 #2 · backfill · confidence 0.70 Universit\'e de Lyon)

Frequent Coauthors

• CNRS 1 shared papers
• ENS de Lyon 1 shared papers
• Federico Aschieri (ENS de Lyon 1 shared papers
• Inria 1 shared papers
• Jarkko Kari (Department of Mathematics 1 shared papers
• Nathalie Aubrun (LIP 1 shared papers
• Statistics 1 shared papers
• UCBL 1 shared papers
• University of Turku) 1 shared papers