首页 国际期刊 数学期刊 期刊详情(非官网)
400-808-1701

Acm Transactions On Computational Logic

Acm Transactions On Computational Logic杂志,由Association for Computing Machinery (ACM)出版,于2000年创刊,Quarterly,出版语言English,ISSN:1529-3785,E-ISSN:1557-945X。

投稿咨询
Acm Transactions On Computational Logic
Acm Transactions On Computational Logic
Acm Transactions On Computational Logic
SCI SCIE EI

发文地区与机构

近年国家 / 地区发文量统计

国家 / 地区 发文量
England 24
France 23
GERMANY (FED REP GER) 23
Italy 11
USA 9
Poland 8
Netherlands 7
Australia 5
Finland 5
Spain 5

近年机构发文量统计

机构 发文量
CENTRE NATIONAL DE LA RECHERCHE SCIENTI... 14
UNIVERSITY OF OXFORD 7
UNIVERSITY OF LONDON 5
UNIVERSITY OF WARSAW 5
UNIVERSITE DE PARIS 4
UNIVERSITY OF AMSTERDAM 4
UNIVERSITY OF BREMEN 4
UNIVERSITY OF ERLANGEN NUREMBERG 4
UNIVERSITY OF LIVERPOOL 4
UNIVERSITY OF LUXEMBOURG 4

文章引用情况

1
Synchronizing Data Words for Register Automata
2
Tight Bounds on the Asymptotic Descriptive Complexity of Subgraph Isomorphism
3
Reasoning about Strategic Abilities: Agents wit h Truly Perfect Recall
4
The Complexity of Minimal Inference Problem for Conservative Constraint Languages
5
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
6
Modal Resolution: Proofs, Layers, and Refinements
7
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers
8
Probabilistic Epistemic Updates on Algebras
9
Central Limit Model Checking
10
A Representation Theorem for Change through Composition of Activities