Skip to content
Snippets Groups Projects
Select Git revision
  • 1c2d79ab373e694f850cef8a2b1a95b1bca35ea9
  • main default protected
2 results

agamemnon

nathan.lhote's avatar
m
Nathan Lhote authored
1c2d79ab
History
nathan.lhote's avatar 1c2d79ab
History
Name Last commit Last update
CHANGELOG.md
LICENSE.md
README.md
biblio.bib
cc-by.pdf
main.aux
main.bbl
main.blg
main.fdb_latexmk
main.fls
main.log
main.pdf
main.synctex.gz
main.tex
main.vtc
oasics-logo-bw.pdf
oasics-v2021-authors-guidelines.pdf
oasics-v2021.cls
orcid.pdf
README.md

Agamemnon

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