1![Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France](https://www.pdfsearch.io/img/f4a5a2876bce470b8988dd0944856d14.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|
2![A New Family of Pairing-Friendly Elliptic Curves Michael Scott and Aurore Guillevic MIRACL.com Université de Lorraine, CNRS, Inria, LORIA, Nancy, France WAIFI 2018, Bergen, Norway, June 14–16 A New Family of Pairing-Friendly Elliptic Curves Michael Scott and Aurore Guillevic MIRACL.com Université de Lorraine, CNRS, Inria, LORIA, Nancy, France WAIFI 2018, Bergen, Norway, June 14–16](https://www.pdfsearch.io/img/559293845ea8529b8d5e5b4cbc71f8dc.jpg) | Add to Reading ListSource URL: caramba.inria.frLanguage: English - Date: 2018-10-18 08:05:03
|
---|
3![Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab](https://www.pdfsearch.io/img/40befd8ede29edcf0d7020d7e7209629.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-01 10:52:10
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: bu.univ-lorraine.fr- Date: 2013-10-22 04:17:23
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: www.msh-lorraine.fr- Date: 2017-05-22 10:32:14
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: iutsd.univ-lorraine.fr- Date: 2018-03-22 03:23:43
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: poincare.univ-lorraine.fr- Date: 2017-01-30 09:07:18
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: iutsd.univ-lorraine.fr- Date: 2018-03-22 03:23:57
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: iutsd.univ-lorraine.fr- Date: 2018-03-22 03:23:49
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.msh-lorraine.fr- Date: 2018-04-24 04:26:21
|
---|