Julien Narboux


AuthID: R-006-N8M

Publications Awaiting Confirmation

1
TITLE: The Area Method A Recapitulation  Full Text
AUTHORS: Predrag Janicic; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2012, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 48, ISSUE: 4
INDEXED IN: Scopus WOS
2
TITLE: The Area Method. A Recapitulation  Full Text
AUTHORS: Predrag Janičić; Julien Narboux; Pedro Quaresma;
PUBLISHED: 2010, SOURCE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 48, ISSUE: 4
INDEXED IN: CrossRef

A place for researchers and their institutions

Useful Links

Get Help

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