Laurent Regnier


AuthID: R-00G-YNN

Publications Requiring Validation

1
TITLE: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France
AUTHORS: Jean Marc Talbot; Laurent Regnier;
PUBLISHED: 2016, SOURCE: CSL 2016, VOLUME: 62
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service