Statistics
Publications
14
Citations
3.1K
H-Index
12
Active since
2000
Affiliations
University of Edinburgh(Current)
Jacques Fleuriot is an author at University of Edinburgh specializing in computing, computer science, and formal methods.
Publications per year
2000–2024
14
14
Constructing Induction Rules for Deductive Synthesis Proofs
Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text
1–5 of 14