Richard Bonichon (DIMAP - UFRN)

Identifiers

• name variant Richard Bonichon (DIMAP - UFRN) 0.60 · backfill

Papers (1)

1. A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization cs.LO · 2015 · author #1

Mentions

• 1505.06376 #1 · backfill · confidence 0.70 Richard Bonichon (DIMAP - UFRN)

Frequent Coauthors

• Olivier Hermant 1 shared papers