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

$$\pi $$ with Leftovers: A Mechanisation in Agda:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Zalakain, Uma ; Dardha, Ornela - p. 157-174 , 2021
Link: https://doi.org/10.1007/..
 
?
2

π with leftovers: a mechanisation in Agda:

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

{\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-3