Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 3
1
- Mathematical Structures in Computer Science, 2020, v. 30, n. 3, p. 271, doi. 10.1017/S0960129520000067
- Calvanese, Diego;
- Ghilardi, Silvio;
- Gianola, Alessandro;
- Montali, Marco;
- Rivkin, Andrey
- Article
2
- Mathematical Structures in Computer Science, 2020, v. 30, n. 3, p. 234, doi. 10.1017/S0960129520000055
- Blass, Andreas;
- Gurevich, Yuri
- Article
3
- Mathematical Structures in Computer Science, 2020, v. 30, n. 3, p. 314, doi. 10.1017/S0960129520000043
- Baez, John C.;
- Master, Jade
- Article