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

m

parent 1c2d79ab
No related branches found
No related tags found
No related merge requests found
\relax
\bibstyle{alpha}
\bibdata{biblio}
\newlabel{sec:intro}{{}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Words, transducers and logic}{1}}
\newlabel{sec:prelim}{{1}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Words, languages and transductions}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Relational structures and logical interpretations}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}SSTs and pebble transducers, semantics with an without origin}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}FO model-checking of transductions with origins: SSTs and pebble transducers}{1}}
\newlabel{sec:mc}{{2}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}The Backward Translation Theorem}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Model-checking (copyfull) SSTs with origin}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Model-checking pebble transducers with origin}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}SSTs and lexicographic MSO-interpretations}{1}}
\newlabel{sec:sst-lex}{{3}{1}}
\begin{thebibliography}{}
\end{thebibliography}
This is BibTeX, Version 0.99d (TeX Live 2017/Debian)
Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
The top-level auxiliary file: main.aux
The style file: alpha.bst
I found no \citation commands---while reading file main.aux
Database file #1: biblio.bib
You've used 0 entries,
2543 wiz_defined-function locations,
558 strings with 4433 characters,
and the built_in function-call counts, 24 in all, are:
= -- 0
> -- 0
< -- 0
+ -- 0
- -- 0
* -- 2
:= -- 10
add.period$ -- 0
call.type$ -- 0
change.case$ -- 0
chr.to.int$ -- 0
cite$ -- 0
duplicate$ -- 0
empty$ -- 1
format.name$ -- 0
if$ -- 2
int.to.chr$ -- 1
int.to.str$ -- 0
missing$ -- 0
newline$ -- 3
num.names$ -- 0
pop$ -- 0
preamble$ -- 1
purify$ -- 0
quote$ -- 0
skip$ -- 2
stack$ -- 0
substring$ -- 0
swap$ -- 0
text.length$ -- 0
text.prefix$ -- 0
top$ -- 0
type$ -- 0
warning$ -- 0
while$ -- 0
width$ -- 0
write$ -- 2
(There was 1 error message)
# Fdb version 3
["bibtex main"] 1632489458 "main.aux" "main.bbl" "main" 1632489511
"/usr/share/texlive/texmf-dist/bibtex/bst/base/alpha.bst" 1480098433 23907 a5f93555796fb564b924339521f10a7c ""
"biblio.bib" 1627286900 2496 833178ac78892e1ed621941d842e740e ""
"main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
"main.bcf" 0 -1 0 ""
(generated)
"main.bbl"
"main.blg"
["pdflatex"] 1632489458 "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf" "main" 1632489511
"/etc/texmf/web2c/texmf.cnf" 1601279320 475 c0e671620eb5563b2130f56340a5fde8 ""
"/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
"/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
"/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1480098701 1324 c910af8c371558dc20f2d7822f66fe64 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1480098701 1328 5442e22a7072966dbaf88ca900acf3f0 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1480098701 1524 4414a8315f39513458b80dfc63bff03a ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1480098701 1288 655e228510b4c2a1abe905c368440826 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1480098701 1292 296a67155bdbfc32aa9c636f21e91433 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1480098701 1300 b62933e007d01cfd073f79b963c01526 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1480098701 1292 21c1c5bfeaebccffdb478fd231a0997d ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1480098701 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 ""
"/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 ""
"/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1480098733 32080 340ef9bf63678554ee606688e7b5339d ""
"/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb" 1480098733 32298 c6d25bb16d1eac01ebdc6d7084126a1e ""
"/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1480098733 35752 024fb6c41858982481f6968b5fc26508 ""
"/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1480098733 32722 d7379af29a190c3f453aba36302ff5a9 ""
"/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1480098733 32362 179c33bbf43f19adbb3825bb4e36e57a ""
"/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb" 1480098733 33993 9b89b85fd2d9df0482bd47194d1d3bf3 ""
"/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1480098821 19821 310da678527a7dfe2a02c88af38079b7 ""
"/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo" 1480098821 8292 e897c12e1e886ce77fe26afc5d470886 ""
"/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
"/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
"/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1601280639 2700761 ac0584cc9514ab21918550a6948c4ee2 ""
"/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1601280650 4129943 ba808502b9cf84b5c160479985bd2263 ""
"main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
"main.bbl" 1632489458 49 0eba253fc001332e731e8aba3f23127b "bibtex main"
"main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
(generated)
"main.pdf"
"main.log"
"main.aux"
"/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf"
"/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log"
PWD /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon
INPUT /etc/texmf/web2c/texmf.cnf
INPUT /usr/share/texmf/web2c/texmf.cnf
INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf
INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb
INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2020.9.28) 24 SEP 2021 15:17
entering extended mode
restricted \write18 enabled.
file:line:error style messages enabled.
%&-line parsing enabled.
**/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
LaTeX2e <2017-04-15>
Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
LaTeX Warning: Unused global option(s):
[UKenglish,cleveref,autoref,thm-restate].
(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux)
\openout1 = `main.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 14.
LaTeX Font Info: ... okay on input line 14.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <12> on input line 15.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <8> on input line 15.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <6> on input line 15.
(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
LaTeX Warning: Empty `thebibliography' environment on input line 3.
) [1
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux) )
Here is how much of TeX's memory you used:
244 strings out of 492982
3285 string characters out of 6134896
56278 words of memory out of 5000000
3880 multiletter control sequences out of 15000+600000
8194 words of font info for 29 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
23i,4n,21p,236b,185s stack positions out of 5000i,500n,10000p,200000b,80000s
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb>
Output written on /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf (1 page, 63438 bytes).
PDF statistics:
32 PDF objects out of 1000 (max. 8388607)
22 compressed objects within 1 object stream
0 named destinations out of 1000 (max. 500000)
1 words of extra memory for PDF output out of 10000 (max. 10000000)
File deleted
\contitem\title{FO Model-Checking Superlinear transductions with origin. MSO-interpretations, SSTs, pebble transducers}\author{Jane {Open Access}, Joan R. Public}\page{23:1--23:0}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment