发文地区与机构
近年国家 / 地区发文量统计
| 国家 / 地区 | 发文量 |
|---|---|
| France | 46 |
| USA | 20 |
| Italy | 17 |
| England | 12 |
| Canada | 10 |
| GERMANY (FED REP GER) | 10 |
| Netherlands | 10 |
| Russia | 9 |
| CHINA MAINLAND | 6 |
| Denmark | 6 |
近年机构发文量统计
| 机构 | 发文量 |
|---|---|
| CENTRE NATIONAL DE LA RECHERCHE SCIENTI... | 24 |
| UNIVERSITE DE PARIS | 12 |
| INRIA | 8 |
| RADBOUD UNIVERSITY NIJMEGEN | 6 |
| AIX-MARSEILLE UNIVERSITE | 5 |
| UNIVERSITE DE LORRAINE | 5 |
| UNIVERSITE DE TOULOUSE | 5 |
| UNIVERSITY OF MILAN | 5 |
| CARNEGIE MELLON UNIVERSITY | 4 |
| HUNAN UNIVERSITY | 4 |
文章引用情况
1
Non-size increasing graph rewriting for natural language processing2
A linear/producer/consumer model of classical linear logic3
Linear pattern matching of compressed terms and polynomial rewriting4
Multi-focused cut elimination5
Interactive and automated proofs for graph transformations6
Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: a minimalist approach7
Semantics-based software watermarking by abstract interpretation8
Nonflatness and totality9
On Banach spaces of sequences and free linear logic exponential modality10
Plugging-in proof development environments using Locks in LF