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条

Attack-defense trees [0.03%]

Kordy, B.; Mauw, S.; Radomirovic et al. Kordy et al.

Journal of Logic and Computation. 2014;24(1):55-87. DOI:10.1093/logcom/exs029 2014

Preface [0.03%]

Delgrande, J.; Lang, J.; Rott et al. Delgrande et al.

Journal of Logic and Computation. 2008;18(5):697-697. DOI:10.1093/logcom/exm095 2008

Review: Model Checking [0.03%]

Zakharov, V. Zakharov

Journal of Logic and Computation. 2001;11(6):962-964. DOI:10.1093/logcom/11.6.962 2001

Reviews [0.03%]

KREINOVICH, VLADIK KREINOVICH

Journal of Logic and Computation. 1993;3(1):107-109. DOI:10.1093/logcom/3.1.107 1993

CHICA, An Abductive Planning System Based on Event Calculus [0.03%]

MISSIAEN, LODE; BRUYNOOGHE, MAURICE; DENECKER et al. MISSIAEN et al.

Journal of Logic and Computation. 1995;5(5):579-602. DOI:10.1093/logcom/5.5.579 1995

Compositional Verification of Quantitative Properties of Statecharts [0.03%]

Levi, F. Levi

Journal of Logic and Computation. 2001;11(6):829-878. DOI:10.1093/logcom/11.6.829 2001

Programming and Verifying Subgame-Perfect Mechanisms [0.03%]

Pauly, M. Pauly

Journal of Logic and Computation. 2005;15(3):295-316. DOI:10.1093/logcom/exi014 2005

Epistemic Actions as Resources [0.03%]

Baltag, A.; Coecke, B.; Sadrzadeh et al. Baltag et al.

Journal of Logic and Computation. 2007;17(3):555-585. DOI:10.1093/logcom/exm015 2007

Ideal and Real Belief about Belief [0.03%]

Giunchiglia, E. Giunchiglia

Journal of Logic and Computation. 2001;11(1):157-192. DOI:10.1093/logcom/11.1.157 2001

Review: Selected Papers on Analysis of Algorithms [0.03%]

Overill, R. Overill

Journal of Logic and Computation. 2001;11(2):355-355. DOI:10.1093/logcom/11.2.355 2001