File name: mma-20-18334-20200627043655
Export Date: 27-Jun-2020
Output Format: XML (ScholarOne DTD)
mma-20-18334-20200627043655/doc/main.texVersion 1.0
mma-20-18334-20200627043655/doc/intro.texVersion 1.0
mma-20-18334-20200627043655/doc/mainthm.texVersion 1.0
mma-20-18334-20200627043655/doc/reduce.texVersion 1.0
mma-20-18334-20200627043655/doc/formula.texVersion 1.0
mma-20-18334-20200627043655/doc/lem.texVersion 1.0
mma-20-18334-20200627043655/doc/Proof.texVersion 1.0
mma-20-18334-20200627043655/doc/preamble.texVersion 1.0
mma-20-18334-20200627043655/doc/preamble_base.texVersion 1.0
mma-20-18334-20200627043655/doc/ref.bibVersion 1.0
mma-20-18334-20200627043655/doc/myplain.bstVersion 1.0
mma-20-18334-20200627043655/doc/KentaOishi(NagoyaUniv).pdfVersion 1.0
mma-20-18334-20200627043655/mma-20-18334-metadata.xml
mma-20-18334-20200627043655/s1.dtd
manifest.htmlThis document