The following pages link to Giuseppe Scollo (Q665768):
Displaying 15 items.
- Reducibility and solvability of some classes of Kryuchkov binary tree pairs (Q665769) (← links)
- (Q752688) (redirect page) (← links)
- Equational type logic (Q752689) (← links)
- Relational state transition dynamics (Q929970) (← links)
- Specification styles in distributed systems design and verification (Q1177943) (← links)
- Explaining DNA structure (Q2243590) (← links)
- (Q3341870) (← links)
- (Q3975158) (← links)
- (Q4028345) (← links)
- (Q4273423) (← links)
- (Q4431378) (← links)
- (Q4681315) (← links)
- Interpolation and compactness in categories of pre-institutions (Q4715675) (← links)
- A Relational View of Recurrence and Attractors in State Transition Dynamics (Q5459193) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712438) (← links)