1
Publications
497
Citations
1
H-Index
2013
Active since
Rachel is an author specializing in engineering, computational complexity, and formal methods.
Publications per year
2013–2013
1
1
Introduction to the Theory of Computation
Ina Ina, Rachel, Aarón · 2013 · 497 citations
Engineering, Automated Reasoning, Computational Model Theory +5
Rows per page
1–1 of 1