EPIT19Drawing exported from Concepts: Smarter Sketching
1
  1. Start
  2. Course notes
  3. XML
  4. Intro L&A
  5. TA
  6. Ranked TA
  7. Ranked TA - pumping
  8. Ranked TA - Myhill-Nerode
  9. Ranked TA - det
  10. Ranked TA - closure
  11. Ranked TA - decision
  12. Unranked TA
  13. Unranked TA <-> Ranked TA
  14. Query automata
  15. TWA
  16. Logic
  17. Logic > MSO
  18. Logic > MSO=NTA
  19. Logic > FO
  20. Logic > FO2
  21. Logic > XPath
  22. Logic > expressivity
  23. Logic > dec pb
  24. Logic > dec pb
  25. Logic > dec pb
  26. Logic > data
  27. End