Jean-Fran\c{c}ois Monin (VERIMAG - Imag)

Identifiers

• name variant Jean-Fran\c{c}ois Monin (VERIMAG - Imag) 0.60 · backfill

Papers (1)

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

Mentions

• 0907.3599 #1 · backfill · confidence 0.70 Jean-Fran\c{c}ois Monin (VERIMAG - Imag)

Frequent Coauthors

• Cristian Ene (VERIMAG - Imag) 1 shared papers
• Micha\"el P\'erin (VERIMAG - Imag) 1 shared papers