Mireille Ducass\'e

Identifiers

• name variant Mireille Ducass\'e 0.60 · backfill

Papers (1)

1. Observational semantics of the Prolog Resolution Box Model cs.PL · 2007 · author #2

Mentions

• 0711.4071 #2 · backfill · confidence 0.70 Mireille Ducass\'e

Frequent Coauthors

• G\'erard Ferrand 1 shared papers
• Pierre Deransart 1 shared papers