Lab for Automated Reasoning and Analysis LARA

BAPA Resources

More to come soon. See our publications on BAPA at lara.epfl.ch .

See here on non-redudandant integer cones.

 
bapa.txt · Last modified: 2011/02/10 23:14 by vkuncak
 
© EPFL 2018 - Legal notice