Research Output per year

## Personal profile

### Keywords

- BC Logic
- QA75 Electronic computers. Computer science

## Fingerprint Dive into the research topics where Clement Aubert is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

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

## Unification and logarithmic space

Aubert, C. & Bagnol, M., Jul 31 2018, In : Logical Methods in Computer Science. 14, 3, 6.Research output: Contribution to journal › Article

Unification

Algebra

Logarithmic

Complexity Classes

Proof Theory

4
Citations
(Scopus)

## Contextual equivalences in configuration structures and reversibility

Aubert, C. & Cristescu, I., Jan 2017, In : Journal of Logical and Algebraic Methods in Programming.Research output: Contribution to journal › Article

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 journal › Article

Complexity Classes

Group Action

Geometry

Interaction

Model

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 journal › Article

Hilbert spaces

Mathematical operators

Computational complexity

Logarithmic

Permutation

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 proceeding › Conference contribution

Unary

Rewriting

Logic Programs

Polynomial time

Polynomials