发文分析
近年国家/地区发文量统计
| 国家/地区 | 数量 |
|---|---|
| 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 SCIENTIFIQUE (... | 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 |
近年文章引用他刊数据
| 文章名称 | 引用次数 |
|---|---|
| A quantum algorithm to approximate the linear structures... | 5 |
| Brouwer's fixed-point theorem in real-cohesive homotopy ... | 5 |
| Polygraphs of finite derivation type | 4 |
| Subexponentials in non-commutative linear logic | 3 |
| On the expressiveness of pi-calculus for encoding mobile... | 3 |
| Proof-relevant pi-calculus: a constructive account of co... | 3 |
| Autostability spectra for decidable structures | 3 |
| Calibrating word problems of groups via the complexity o... | 3 |
| Quotienting the delay monad by weak bisimilarity | 2 |
| Cellular automata over generalized Cayley graphs | 2 |
近年被他刊引用数据
| 期刊名称 | 引用次数 |
|---|---|
| LOG METH COMPUT SCI | 58 |
| MATH STRUCT COMP SCI | 50 |
| J LOG ALGEBR METHODS | 22 |
| J AUTOM REASONING | 21 |
| J LOGIC COMPUT | 19 |
| FUND INFORM | 14 |
| THEOR APPL CATEG | 14 |
| THEOR COMPUT SCI | 13 |
| INT J THEOR PHYS | 12 |
| SCI COMPUT PROGRAM | 12 |