2003 | ||
---|---|---|
4 | EE | G. M. Germano, S. Mazzanti: Cantor Diagrams: A Unifying Discussion of Self-Reference. Applied Categorical Structures 11(4): 313-336 (2003) |
2001 | ||
3 | EE | G. M. Germano, S. Mazzanti: Non-Deterministic Closure Theory and Universal Arrows. Applied Categorical Structures 9(4): 339-364 (2001) |
1997 | ||
2 | Egon Börger, S. Mazzanti: A Practical Method for Rigorously Controllable Hardware Design. ZUM 1997: 151-187 | |
1995 | ||
1 | EE | S. Mazzanti: Succinct Iterative Characterizations of Primitive Computable Unary Functions. Inf. Process. Lett. 56(6): 315-319 (1995) |
1 | Egon Börger | [2] |
2 | G. M. Germano | [3] [4] |