Login / Signup
Ralph-Johan Back
Publication Activity (10 Years)
Years Active: 1980-2018
Publications (10 Years): 1
Top Topics
Code Generation
Formal Proof
English Language
Affine Transformation
Top Venues
IFM
J. Log. Algebraic Methods Program.
</>
Publications
</>