TY - RPRT TI - Formal Semantics of the Language Cypher AU - Nadime Francis AU - Alastair Green AU - Paolo Guagliardo AU - Leonid Libkin AU - Tobias Lindaaker AU - Victor Marsault AU - Stefan Plantikow AU - Mats Rydberg AU - Martin Schuster AU - Petra Selmer AU - Andrés Taylor PY - 2018 UR - https://arxiv.org/abs/1802.09984 ID - 1802.09984 ER -