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条

Order Independent Temporal Properties [0.03%]

Bidoit, N. Bidoit

Journal of Logic and Computation. 2004;14(2):277-298. DOI:10.1093/logcom/14.2.277 2004

Compile-Time Garbage Collection for Higher-Order Functional Languages [0.03%]

HUGHES, SIMON HUGHES

Journal of Logic and Computation. 1992;2(4):483-509. DOI:10.1093/logcom/2.4.483 1992

A theory of knowledge and ignorance for many agents [0.03%]

Halpern, J. Halpern

Journal of Logic and Computation. 1997;7(1):79-108. DOI:10.1093/logcom/7.1.79 1997

Reading between the lines in constructive type theory [0.03%]

Turner, R Turner

Journal of Logic and Computation. 1997;7(2):229-250. DOI:10.1093/logcom/7.2.229 1997

Forthcoming Papers [0.03%]

Journal of Logic and Computation. 2007;17(3):613-614. DOI:10.1093/logcom/exm025 2007

An Intuitionistic Predicate Logic Theorem Prover [0.03%]

SAHLIN, AN; FRANZÉN, TORKEL; HARIDI et al. SAHLIN et al.

Journal of Logic and Computation. 1992;2(5):619-656. DOI:10.1093/logcom/2.5.619 1992

Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness [0.03%]

Anderson, M. L. Anderson

Journal of Logic and Computation. 2005;15(1):21-40. DOI:10.1093/logcom/exh034 2005

A General Framework for Expressing Preferences in Causal Reasoning and Planning [0.03%]

Delgrande, J. P.; Schaub, T.; Tompits et al. Delgrande et al.

Journal of Logic and Computation. 2007;17(5):871-907. DOI:10.1093/logcom/exm046 2007

On meet-combination of logics [0.03%]

Sernadas, A.; Sernadas, C.; Rasga et al. Sernadas et al.

Journal of Logic and Computation. 2012;22(6):1453-1470. DOI:10.1093/logcom/exr035 2012

Uniform Kurtz randomness [0.03%]

Kihara, T.; Miyabe, K. Kihara

Journal of Logic and Computation. 2014;24(4):863-882. DOI:10.1093/logcom/ext054 2014