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.

Research Output 1988 2018

  • 8 Conference contribution
  • 8 Article
  • 1 Chapter
  • 1 Conference article

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 proceedingConference 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 journalArticle

Unification
Algebra
Logarithmic
Complexity Classes
Proof Theory
4 Citations