• 30 Citations
  • 4 h-Index
If you made any changes in Pure, your changes will be visible here soon.

Personal profile


  • BC Logic
  • QA75 Electronic computers. Computer science

Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Logarithmic Mathematics
Algebra Engineering & Materials Science
Complexity Classes Mathematics
Proof Theory Mathematics
Unification Mathematics
Linear Logic Mathematics
Geometry Engineering & Materials Science
Logic programming Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2018

  • 30 Citations
  • 4 h-Index
  • 4 Article
  • 3 Conference contribution
  • 1 Conference article

Unification and logarithmic space

Aubert, C. & Bagnol, M., Jul 31 2018, In : Logical Methods in Computer Science. 14, 3, 6.

Research output: Contribution to journalArticle

Complexity Classes
Proof Theory
4 Citations (Scopus)
7 Citations (Scopus)

Characterizing co-NL by a group action

Aubert, C. & Seiller, T., May 1 2016, In : Mathematical Structures in Computer Science. 26, 4, p. 606-638 33 p.

Research output: Contribution to journalArticle

Complexity Classes
Group Action
7 Citations (Scopus)

Logarithmic space and permutations

Aubert, C. & Seiller, T., Jun 1 2016, In : Information and Computation. 248, p. 2-21 20 p.

Research output: Contribution to journalArticle

Hilbert spaces
Mathematical operators
Computational complexity
3 Citations (Scopus)

Unary resolution: Characterizing PTIME

Aubert, C., Bagnol, M. & Seiller, T., Jan 1 2016, Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Löding, C. & Jacobs, B. (eds.). Springer Verlag, p. 373-389 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic Programs
Polynomial time