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条

Author Index [0.03%]

Journal of Logic and Computation. 2001;11(6):973-973. DOI:10.1093/logcom/11.6.973 2001

Forthcoming Papers [0.03%]

Journal of Logic and Computation. 1992;2(2):241-242. DOI:10.1093/logcom/2.2.241 1992

Acknowledgements [0.03%]

Journal of Logic and Computation. 1997;7(6):831-831. DOI:10.1093/logcom/7.6.831 1997

A modal separation logic for resource dynamics [0.03%]

Courtault, J.-R.; Galmiche, D. Courtault

Journal of Logic and Computation. 2015;():exv031-. DOI:10.1093/logcom/exv031 2015

Reliable Semantics for Extended Logic Programs with Rule Prioritization [0.03%]

ANALYTI, ANASTASIA; PRAMANIK, SAKTI ANALYTI

Journal of Logic and Computation. 1995;5(3):303-324. DOI:10.1093/logcom/5.3.303 1995

Review: Model Theory: An Introduction [0.03%]

Shehtman, V. Shehtman

Journal of Logic and Computation. 2005;15(1):77-77. DOI:10.1093/logcom/exh038 2005

Editorial [0.03%]

HOARE, C.A.R HOARE

Journal of Logic and Computation. 1994;4(3):215-216. DOI:10.1093/logcom/4.3.215 1994

Books Received [0.03%]

Journal of Logic and Computation. 1993;3(4):447-447. DOI:10.1093/logcom/3.4.447 1993

Finite and Circular Path Models for Branching Time Logics [0.03%]

KAMINSKI, MICHAEL; TIOMKIN, MICHAEL KAMINSKI

Journal of Logic and Computation. 1990;1(1):71-82. DOI:10.1093/logcom/1.1.71 1990

The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies [0.03%]

Wang, S.; Rydeheard, D.; Pan et al. Wang et al.

Journal of Logic and Computation. 2007;18(3):341-359. DOI:10.1093/logcom/exm074 2007