Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Concurrent Kleene Algebra with Observations: from Hypotheses to CompletenessKappé, Tobias ; Brunet, Paul ; Silva, Alexandra ; Wagemaker, Jana ; Zanasi, FabioarXiv.org, 2020-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |