-
Shizai Lun, Kepandingxing, he Guoqu
Traduit de l'anglais vers le chinois (mandarin) par Zhang Qing Yu ; ISBN : 7-5080-2329-3 -
Matrix semigroups and applications
We study matrix semigroups with different point of view that overlaps. The growth point of view seems to be related with the geometric point of view : we partially... -
Unification in Extensions of Shallow Equational Theories
Rapport interne. -
Finiteness Theorems for Graphs and Posets Obtained by Compositions
Article dans revue scientifique avec comité de lecture. -
On the mortality problem for matrices of low dimensions
Rapport interne. -
The stability of saturated linear dynamical systems is undecidable
Colloque avec actes et comité de lecture. internationale. -
Resource Models and Proofs in Bunched Implications Logic
Colloque sur invitation. internationale. -
A Separation Logic for Resource Distribution
Colloque avec actes et comité de lecture. internationale. -
Semantic Labelled Tableaux for propositional BI (without bottom)
Article dans revue scientifique avec comité de lecture. internationale.
