Acm Transactions On Computational Logic发文分析_国家/地区发文量

机构	数量
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (...	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

文章名称	引用次数
Modularisation of Sequent Calculi for Normal and Non-nor...	3
Are Short Proofs Narrow? QBF Resolution Is Not So Simple	3
Checking Admissibility Using Natural Dualities	3
A Higher-Order Calculus of Computational Fields	3
Interval vs. Point Temporal Logic Model Checking: An Exp...	2
Path Categories and Propositional Identity Types	2
An Epistemic Strategy Logic	2
Some Subsystems of Constant-Depth Frege with Parity	2
Fast Query Answering over Existential Rules	2
Reasoning about Cognitive Trust in Stochastic Multiagent...	1

Acm Transactions On Computational Logic