The following pages link to Monica Nesi (Q672234):
Displaying 14 items.
- Infinite normal forms for non-linear term rewriting systems (Q672235) (← links)
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- (Q915471) (redirect page) (← links)
- A rewriting strategy to verify observational congruence (Q915472) (← links)
- On structural properties of eta-expansions of identity (Q1014452) (← links)
- Complete sets of axioms for finite basic LOTOS behavioural equivalences (Q1199556) (← links)
- Formalising a value-passing calculus in H0L (Q1965247) (← links)
- (Q2844070) (← links)
- (Q2848483) (← links)
- (Q3431408) (← links)
- (Q3814799) (← links)
- (Q4035244) (← links)
- (Q4222877) (← links)
- A strategy to deal with divergent rewrite systems (Q5881210) (← links)
