Skip to main content
MathOverflow
Sylvain's user avatar
Sylvain's user avatar
Sylvain's user avatar
Sylvain
  • Member for 11 years, 5 months
  • Last seen more than 2 years ago
Profile Activity

23 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
answered
A variant of Kruskal's theorem
comment
Relation between fundamental theorem of Ehrenfeucht-Fraisse games and notions of bisimulation and simulation
Bisimulation equivalence is the same as e.g. CTL or CTL* equivalence; is this the kind of connection you are looking for?
awarded
 Supporter
1
2