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条

How to Do Things with Worlds: on Formalizing Actions and Plans [0.03%]

BREWKA, GERHARD; HERTZBERG, JOACHIM BREWKA

Journal of Logic and Computation. 1993;3(5):517-532. DOI:10.1093/logcom/3.5.517 1993

A proof theoretical approach to default reasoning I: tableaux for default logic [0.03%]

Amati, G Amati

Journal of Logic and Computation. 1996;6(2):205-231. DOI:10.1093/logcom/6.2.205 1996

Some completeness results for stoppered and ranked classical preferential models [0.03%]

Schlechta, K Schlechta

Journal of Logic and Computation. 1996;6(4):599-622. DOI:10.1093/logcom/6.4.599 1996

SAT-Problems and Reductions with Respect to the Number of Variables [0.03%]

GRANDJEAN, ETIENNE; BÜNING, HANS KLEINE GRANDJEAN

Journal of Logic and Computation. 1997;7(4):457-471. DOI:10.1093/logcom/7.4.457 1997

Coalgebraic theories of sequences in PVS [0.03%]

Hensel, U Hensel

Journal of Logic and Computation. 1999;9(4):463-500. DOI:10.1093/logcom/9.4.463 1999

Aristotelian Syntax from a Computational-Combinatorial Point of View [0.03%]

Glashoff, K. Glashoff

Journal of Logic and Computation. 2005;15(6):949-973. DOI:10.1093/logcom/exi048 2005

Books Received [0.03%]

Journal of Logic and Computation. 2007;17(2):411-411. DOI:10.1093/logcom/exm012 2007

Categorical Equivalences for Formula quasi-MV Algebras [0.03%]

Giuntini, R.; Paoli, F.; Ledda et al. Giuntini et al.

Journal of Logic and Computation. 2010;20(4):795-810. DOI:10.1093/logcom/exn082 2010

Foundations of Cryptography: Basic Tools [0.03%]

Overill, R. E. Overill

Journal of Logic and Computation. 2002;12(3):543-544. DOI:10.1093/logcom/12.3.543-a 2002

On the Complexity of the First-order Random Theory [0.03%]

Lotfallah, W. B. Lotfallah

Journal of Logic and Computation. 2003;13(2):261-271. DOI:10.1093/logcom/13.2.261 2003