×

zbMATH — the first resource for mathematics

Seiller, Thomas

Compute Distance To:
Author ID: seiller.thomas Recent zbMATH articles by "Seiller, Thomas"
Published as: Seiller, Thomas
Homepage: http://www.seiller.org/
External Links: MGP · ORCID · ResearchGate · dblp · arXiv
Documents Indexed: 14 Publications since 2012

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 28 times in 13 Documents Cited by Year
Characterizing co-NL by a group action. Zbl 1362.68084
Aubert, Clément; Seiller, Thomas
7
2016
Logarithmic space and permutations. Zbl 1339.68095
Aubert, Clément; Seiller, Thomas
5
2016
Interaction graphs: additives. Zbl 1433.03148
Seiller, Thomas
3
2016
Logic programming and logarithmic space. Zbl 1453.68033
Aubert, Clément; Bagnol, Marc; Pistone, Paolo; Seiller, Thomas
3
2014
Interaction graphs: multiplicatives. Zbl 1252.03143
Seiller, Thomas
3
2012
Interaction graphs: graphings. Zbl 1422.03131
Seiller, Thomas
2
2017
A correspondence between maximal abelian sub-algebras and linear logic fragments. Zbl 1456.03105
Seiller, Thomas
2
2018
Interaction graphs: full linear logic. Zbl 1394.03075
Seiller, Thomas
1
2016
An intensionally fully-abstract sheaf model for \(\pi\). Zbl 1366.68204
Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
1
2015
An intensionally fully-abstract sheaf model for \(\pi\) (expanded version). Zbl 1459.68140
Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
1
2017
A correspondence between maximal abelian sub-algebras and linear logic fragments. Zbl 1456.03105
Seiller, Thomas
2
2018
Interaction graphs: graphings. Zbl 1422.03131
Seiller, Thomas
2
2017
An intensionally fully-abstract sheaf model for \(\pi\) (expanded version). Zbl 1459.68140
Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
1
2017
Characterizing co-NL by a group action. Zbl 1362.68084
Aubert, Clément; Seiller, Thomas
7
2016
Logarithmic space and permutations. Zbl 1339.68095
Aubert, Clément; Seiller, Thomas
5
2016
Interaction graphs: additives. Zbl 1433.03148
Seiller, Thomas
3
2016
Interaction graphs: full linear logic. Zbl 1394.03075
Seiller, Thomas
1
2016
An intensionally fully-abstract sheaf model for \(\pi\). Zbl 1366.68204
Eberhart, Clovis; Hirschowitz, Tom; Seiller, Thomas
1
2015
Logic programming and logarithmic space. Zbl 1453.68033
Aubert, Clément; Bagnol, Marc; Pistone, Paolo; Seiller, Thomas
3
2014
Interaction graphs: multiplicatives. Zbl 1252.03143
Seiller, Thomas
3
2012

Citations by Year