Registered user since Tue 18 Oct 2016

Name: Nicolas Magaud

POPL 2017 Activities

• Author of Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations within the CoqPL 2017-track in CoqPL 2017
• Show activities from other conferences