Skip to content

Plan for the next week

Jump to bottom
Semyon edited this page Apr 5, 2021 · 2 revisions

HW from 05.04:

  • Read a paper on Kleene algebras w/ recursion;
  • Read the Qcert documentation and think about extending it w/ the star operator.
  • Contact Libkin, Green, Lipman on Cypher semantics (multiple uses of one edge in a single pattern, CFPQ, RPQ).
Clone this wiki locally