scholarly journals Asynchronous processing of formal documents in Coq

2014 ◽  
Vol 167 ◽  
pp. 2-3
Author(s):  
Enrico Tassi
2002 ◽  
Vol 269 (1491) ◽  
pp. 579-583 ◽  
Author(s):  
Derek H Arnold ◽  
Colin W.G Clifford

2012 ◽  
pp. 197-241
Author(s):  
Matthew Campbell

2001 ◽  
Vol 11 (8) ◽  
pp. 596-600 ◽  
Author(s):  
Derek H Arnold ◽  
Colin W.G Clifford ◽  
Peter Wenderoth

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 124236-124253 ◽  
Author(s):  
Andres J. Sanchez-Fernandez ◽  
Luis F. Romero ◽  
Daniel Peralta ◽  
Miguel Angel Medina-Perez ◽  
Yvan Saeys ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document