Damien Doligez (INRIA Paris-Rocquencourt)

Identifiers

• name variant Damien Doligez (INRIA Paris-Rocquencourt) 0.60 · backfill

Papers (1)

1. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics cs.LO · 2014 · author #1

Mentions

• 1409.3819 #1 · backfill · confidence 0.70 Damien Doligez (INRIA Paris-Rocquencourt)

Frequent Coauthors

• Jael Kriener (MSR - INRIA) 1 shared papers
• Leslie Lamport 1 shared papers
• Stephan Merz (INRIA Nancy - Grand Est / LORIA) 1 shared papers
• Tomer Libal (MSR - INRIA) 1 shared papers