Skip to content
A

Agamemnon

Project ID: 1044

FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers