MOSCA19Drawing exported from Concepts: Smarter Sketching [F., Libkin, TCS] [Descotte, F., Figueira, STACS'19] [Descotte, F., Puppis, ICALP'18] [F., Libkin, TCS] [F., Libkin, LICS'15]
1
  1. Start
  2. Intro
  3. Intro - synchronization
  4. Intro > Rational
  5. Intro > Rec
  6. Intro > Aut
  7. Intro > Rat
  8. Synchronized intro
  9. Synchronized intro
  10. Synchronized > control
  11. Synchronized > Rel(C)
  12. Synchronized > Rel(C)
  13. Synchronized > regularity
  14. Synchronized > Known classes
  15. Synchronized > question containment
  16. Synchronized > question closure
  17. Synchronized containment
  18. Synchronized > basic properties
  19. Synchronized > containment dec
  20. Synchronized containment > Aut, Rec
  21. Synchronized containment > proof
  22. Synchronized containment > proof details
  23. Synchronized closure
  24. Synchronized closure > characterization
  25. Synchronized closure > Results
  26. Synchronized > beyond regularity
  27. End