|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal model for blockchain-based consent management in data sharing |
Peyrone, Neda |
|
134 | C |
p. |
artikel |
|
| 2 | Computational category-theoretic rewriting |
Brown, Kristopher |
|
134 | C |
p. |
artikel |
|
| 3 | Editorial Board |
|
134 | C |
p. |
artikel |
||
| 4 | Formal lumping of polynomial differential equations through approximate equivalences |
Cardelli, Luca |
|
134 | C |
p. |
artikel |
|
| 5 | On difunctions |
Backhouse, Roland |
|
134 | C |
p. |
artikel |
|
| 6 | The Maude strategy language |
Eker, Steven |
|
134 | C |
p. |
artikel |
|
| 7 | Variants and satisfiability in the infinitary unification wonderland |
Meseguer, José |
|
134 | C |
p. |
artikel |
|
| 8 | Verification of mutable linear data structures and iterator-based algorithms in Dafny |
Blázquez, Jorge |
|
134 | C |
p. |
artikel |
8 gevonden resultaten