Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
A structural approach to reversible computation
Theoretical Computer Science
On three implication-less fragments of t-norm based fuzzy logics
Fuzzy Sets and Systems
Nonassociative Lambek Calculus with Additives and Context-Free Languages
Languages: From Formal to Natural
Effective finite-valued approximations of general propositional logics
Pillars of computer science
Studia Logica
| Hi-index | 5.23 |