Agamemnon
FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers
Select Git revision
agamemnon
Nathan Lhote
authored
| Name | Last commit | Last update |
|---|---|---|
| CHANGELOG.md | ||
| LICENSE.md | ||
| README.md | ||
| biblio.bib | ||
| cc-by.pdf | ||
| main.tex | ||
| oasics-logo-bw.pdf | ||
| oasics-v2021-authors-guidelines.pdf | ||
| oasics-v2021.cls | ||
| orcid.pdf |