The following pages link to Giovanni Pani (Q2117590):
Displayed 7 items.
- Analysis of mobile networks' protocols based on abstract state machine (Q2117591) (← links)
- (Q2709224) (← links)
- A predicative approach to the classification problem (Q2740987) (← links)
- Undecidability vs transfinite induction for the consistency of hyperarithmetical sets (Q3956932) (← links)
- (Q4104508) (← links)
- (Q4503940) (← links)
- A Refinement of the μ-measure for Stack Programs (Q4916234) (← links)