Skip to content
Snippets Groups Projects
Select Git revision
  • 3ea0762b2d6d4db714daeb662909510971346b84
  • main default protected
2 results

agamemnon

Agamemnon

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