A

Agamemnon

Project information

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

30 Commits
1 Branch
0 Tags

README
LaTeX Project Public License v1.3c
CHANGELOG

Created on

September 24, 2021

Loading