Research Output per year

## Personal profile

### Keywords

- 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

## 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