Παρακολούθηση
Thomas Seiller
Thomas Seiller
CNRS
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cnrs.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Interaction graphs: multiplicatives
T Seiller
Annals of Pure and Applied Logic 163 (12), 1808-1837, 2012
372012
Characterizing co-NL by a group action
C Aubert, T Seiller
Mathematical Structures in Computer Science 26 (4), 606-638, 2016
362016
Interaction graphs: Additives
T Seiller
Annals of Pure and Applied Logic 167 (2), 95-154, 2016
35*2016
Logarithmic space and permutations
C Aubert, T Seiller
Information and Computation 248, 2-21, 2016
332016
Logique dans le facteur hyperfini: géometrie de l'interaction et complexité
T Seiller
Aix-Marseille Université, 2012
292012
Interaction graphs: Graphings
T Seiller
Annals of Pure and Applied Logic 168 (2), 278-320, 2017
252017
Interaction graphs: Full linear logic
T Seiller
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
222016
Unary resolution: Characterizing ptime
C Aubert, M Bagnol, T Seiller
International Conference on Foundations of Software Science and Computation …, 2016
212016
An Intensionally Fully-abstract Sheaf Model for pi
C Eberhart, T Hirschowitz, T Seiller
LIPIcs-Leibniz International Proceedings in Informatics 35, 2015
21*2015
Logic programming and logarithmic space
C Aubert, M Bagnol, P Pistone, T Seiller
Asian Symposium on Programming Languages and Systems, 39-57, 2014
202014
Interaction graphs: Non-deterministic automata
T Seiller
ACM Transactions on Computational Logic (TOCL) 19 (3), 1-24, 2018
182018
Interaction graphs: Exponentials
T Seiller
Logical Methods in Computer Science 15, 2019
172019
On the Computational Meaning of Axioms
A Naibo, M Petrolo, T Seiller
16*
A correspondence between maximal abelian sub-algebras and linear logic fragments
T Seiller
Mathematical Structures in Computer Science 28 (1), 77-139, 2018
142018
Towards a complexity-through-realisability theory
T Seiller
arXiv preprint arXiv:1502.01257, 2015
12*2015
Memoization for unary logic programming: Characterizing ptime
C Aubert, M Bagnol, T Seiller
arXiv preprint arXiv:1501.05104, 2015
72015
Probabilistic complexity classes through semantics
T Seiller
arXiv preprint arXiv:2002.00009, 2020
52020
Loop quasi-invariant chunk detection
JY Moyen, T Rubiano, T Seiller
International Symposium on Automated Technology for Verification and …, 2017
52017
Verificationism and classical realizability
A Naibo, M Petrolo, T Seiller
Perspectives on Interrogative Models of Inquiry, 163-197, 2016
52016
Interaction graphs and complexity
T Seiller
Abstract, 2014
52014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20