Scholar

Dale Miller

Google Scholar ID: d9WopvMAAAAJ

Inria-Saclay and LIX, Ecole Polytechnique

Proof TheoryLinear LogicLogic ProgrammingTheorem ProvingComputational Logic

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

11,650

H-index

57

i10-index

116

Publications

20

Co-authors

31

list available

Contact

No contact links provided.

Publications

2 items

Automating proof search when equality is a logical connective

2026

Cited

0

Peano Arithmetic and $mu$MALL

2023

Cited

0

Resume (English only)

Co-authors

31 total

School of Computing, The Australian National University

Kaustuv Chaudhuri

Professor of Computer Science, Carnegie Mellon University