Journal of logic and computation文章索引

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

共收录本刊相关文章索引1705条

Relevance Realization and the Emerging Framework in Cognitive Science [0.03%] 关联实现与认知科学的新兴框架

Vervaeke, J.; Lillicrap, T. P.; Richards et al. Vervaeke et al.

Journal of Logic and Computation. 2012;22(1):79-99. DOI:10.1093/logcom/exp067 2012

A Topological Study of the Closed Fragment of GLP [0.03%] GLP封闭片段的拓扑研究

Icard, T. Icard

Journal of logic and computation. 2011;21(4):683-696. DOI:10.1093/logcom/exp043 2011

Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays [0.03%] 限制访问数组的计算模型的逻辑和复杂性理论方面

Stewart, I. A. Stewart

Journal of logic and computation. 2009;19(1):217-242. DOI:10.1093/logcom/exn025 2009

Propositional primal logic with disjunction [0.03%] 带析取的命题原逻辑

Beklemishev, L.; Gurevich, Y. Beklemishev

Journal of Logic and Computation. 2014;24(1):257-282. DOI:10.1093/logcom/exs018 2014

Unification through projectivity [0.03%] 通过投影实现统一

Ghilardi, S Ghilardi

Journal of Logic and Computation. 1997;7(6):733-752. DOI:10.1093/logcom/7.6.733 1997

Probabilistic -calculus and Quantitative Program Analysis [0.03%] 概率演算与定量程序分析

Di Pierro, A. Di Pierro

Journal of Logic and Computation. 2005;15(2):159-179. DOI:10.1093/logcom/exi008 2005

A Database Approach to Distributed State-Space Generation [0.03%] 一种分布式状态空间生成的数据库方法

Blom, S.; Lisser, B.; Van De Pol et al. Blom et al.

Journal of Logic and Computation. 2011;21(1):45-62. DOI:10.1093/logcom/exp004 2011

Semantics-Based Translation Methods for Modal Logics [0.03%] 基于语义的模态逻辑翻译方法

OHLBACH, H. J. OHLBACH

Journal of Logic and Computation. 1991;1(5):691-746. DOI:10.1093/logcom/1.5.691 1991

Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics [0.03%] 子结构逻辑的插值性质、Beth可定义性性质和合并性质

Kihara, H.; Ono, H. Kihara

Journal of Logic and Computation. 2010;20(4):823-875. DOI:10.1093/logcom/exn084 2010

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic [0.03%]

Beklemishev, L. D. Beklemishev

Journal of Logic and Computation. 2005;15(4):447-463. DOI:10.1093/logcom/exi038 2005