Research Output per year

## Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Complexity Classes
Mathematics

Logarithmic
Mathematics

Intuitionistic Logic
Mathematics

Unification
Mathematics

Linear Logic
Mathematics

Chemical analysis
Engineering & Materials Science

Algebra
Engineering & Materials Science

Program translators
Engineering & Materials Science

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

## Profiles

## Research Output 1988 2018

## Dialectica categories for the lambek calculus

de Paiva, V. & Eades, H. D., Jan 1 2018,*Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings.*Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 256-272 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Lambek Calculus

Modality

Religious buildings

Calculus

Syntactics

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

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