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条

Translating preferred subtheories into structured argumentation [0.03%]

Thang, P. M.; Luong, H. T. Thang

Journal of Logic and Computation. 2014;24(4):831-849. DOI:10.1093/logcom/ext049 2014

Controlled Revision - An algorithmic approach for belief revision [0.03%]

Gabbay, D.; Pigozzi, G.; Woods et al. Gabbay et al.

Journal of Logic and Computation. 2003;13(1):3-22. DOI:10.1093/logcom/13.1.3 2003

Algebraic Semantics for Paraconsistent Nelson's Logic [0.03%]

Odintsov, S. P. Odintsov

Journal of Logic and Computation. 2003;13(4):453-468. DOI:10.1093/logcom/13.4.453 2003

A Verification Logic for Rewriting Logic [0.03%]

Marti-Oliet, N. Marti-Oliet

Journal of Logic and Computation. 2005;15(3):317-352. DOI:10.1093/logcom/exi015 2005

Book Review [0.03%]

Banach, R. Banach

Journal of Logic and Computation. 2006;16(6):917-920. DOI:10.1093/logcom/exl015 2006

Speech Acts, Epistemic Planning and Grice's Maxims [0.03%]

Ramsay, A.; Field, D. Ramsay

Journal of Logic and Computation. 2007;18(3):431-457. DOI:10.1093/logcom/exm073 2007

A Jump Inversion Theorem for the Degree Spectra [0.03%]

Soskova, A. A.; Soskov, I. N. Soskova

Journal of Logic and Computation. 2009;19(1):199-215. DOI:10.1093/logcom/exn024 2009

Relating Higher-order and First-order Rewriting [0.03%]

Bonelli, E. Bonelli

Journal of Logic and Computation. 2005;15(6):901-947. DOI:10.1093/logcom/exi050 2005

Pseudojumps and Formula Classes [0.03%]

Cenzer, D.; Laforte, G.; Wu et al. Cenzer et al.

Journal of Logic and Computation. 2009;19(1):77-87. DOI:10.1093/logcom/exn028 2009

Reviews [0.03%]

KELLY, PAUL KELLY

Journal of Logic and Computation. 1996;6(5):750-751. DOI:10.1093/logcom/6.5.750 1996