Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nicolas Magaud
conf.researchr.org general profile
POPL 2017 profile
Registered user since Tue 18 Oct 2016
Name:
Nicolas Magaud
Contributions
2017
CoqPL
Author of Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations within the CoqPL 2017-track
Share
x
Mon 27 Oct 05:21