I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Massively parallel classical logic via coherent dynamics of..:

Gattuso, Hugo ; Levine, R. D. ; Remacle, F.
Proceedings of the National Academy of Sciences of the United States of America.  117 (2020)  35 - p. 21022-21030 , 2020
Link: https://www.jstor.org/stable/26968766