Works matching IS 09601295 AND DT 2022 AND VI 32 AND IP 6
1
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 685, doi. 10.1017/S0960129522000329
- Article
2
- 2022
- Hoffmann, Jan;
- Sannella, Donald;
- Schöpp, Ulrich
- Editorial
3
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 760, doi. 10.1017/S0960129521000505
- Article
4
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 729, doi. 10.1017/S0960129521000487
- Hoffmann, Jan;
- Jost, Steffen
- Article
5
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 777, doi. 10.1017/S0960129521000256
- Hofmann, Martin;
- Ledent, Jérémy
- Article
6
- Mathematical Structures in Computer Science, 2022, v. 32, n. 6, p. 794, doi. 10.1017/S0960129521000232
- Hofmann, Martin;
- Leutgeb, Lorenz;
- Obwaller, David;
- Moser, Georg;
- Zuleger, Florian
- Article
