Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zalakain, Uma
2  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

π with leftovers: a mechanisation in Agda:

Zalakain, Uma ; Dardha, Ornela
info:eu-repo/grantAgreement/EC/H2020/778233/.  , 2021
Link: https://zenodo.org/recor..
 
?
2

{\pi} with leftovers: a mechanisation in Agda:

Zalakain, Uma ; Dardha, Ornela
http://arxiv.org/abs/2005.05902.  , 2020
Link: http://arxiv.org/abs/200..
 
1-2