Succinct Graph Representations of μ-Calculus Formulas.

Clemens Kupke Johannes Marti Yde Venema

Published in: CSL (2022)

Keyphrases

graph representations
relational calculus
graph theory
graph structure
graph representation
graph kernels
complex objects
information retrieval
structured data