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

Formalization of Transfinite Induction in Coq*:

, In: 2019 Chinese Automation Congress (CAC),
Sun, Tianyu ; Yu, Wensheng ; Fu, Yaoshun - p. 1001-1005 , 2019
Link: https://doi.org/10.1109/CAC48633.2019.8997376