Skip to content
Snippets Groups Projects
Commit 0371ff27 authored by Nathan Lhote's avatar Nathan Lhote
Browse files

Initial commit

parents
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 5 additions and 0 deletions
README.md 0 → 100644
+ 5
− 0
View file @ 0371ff27
# Agamemnon
FO-model checking of superlinear transductions with origin
MSO interpretations, SSTs, pebbles transducers
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment