Cristian Ene (VERIMAG - Imag)

Identifiers

• name variant Cristian Ene (VERIMAG - Imag) 0.60 · backfill

Papers (1)

1. Gentzen-Prawitz Natural Deduction as a Teaching Tool cs.LO · 2009 · author #2

Mentions

• 0907.3599 #2 · backfill · confidence 0.70 Cristian Ene (VERIMAG - Imag)

Frequent Coauthors

• Jean-Fran\c{c}ois Monin (VERIMAG - Imag) 1 shared papers
• Micha\"el P\'erin (VERIMAG - Imag) 1 shared papers