David Baelde (LSV

Identifiers

• name variant David Baelde (LSV 0.60 · backfill

Papers (1)

1. Proceedings Workshop on Fixed Points in Computer Science cs.LO · 2013 · author #1

Mentions

• 1308.5896 #1 · backfill · confidence 0.70 David Baelde (LSV

Frequent Coauthors

• Arnaud Carayol (CNRS 1 shared papers
• ENS Cachan) 1 shared papers
• Marne-la-Vall\'ee) 1 shared papers
• Universit\'e Paris-Est 1 shared papers