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条

Utilizing Natural Language for One-Shot Task Learning [0.03%]

Jung, H.; Allen, J.; Galescu et al. Jung et al.

Journal of Logic and Computation. 2007;18(3):475-493. DOI:10.1093/logcom/exm071 2007

Engineering Executable Agents using Multi-context Systems [0.03%]

Sabater, J. Sabater

Journal of Logic and Computation. 2002;12(3):413-442. DOI:10.1093/logcom/12.3.413 2002

Storage Operators and Multiplicative Quantifiers in Many-valued Logics [0.03%]

Montagna, F. Montagna

Journal of Logic and Computation. 2004;14(2):299-322. DOI:10.1093/logcom/14.2.299 2004

Acknowledgements [0.03%]

Journal of Logic and Computation. 2006;16(6):925-925. DOI:10.1093/logcom/exl042 2006

Temporal Assertions with Parametrized Propositions [0.03%]

Stolz, V. Stolz

Journal of Logic and Computation. 2010;20(3):743-757. DOI:10.1093/logcom/exn078 2010

Adding the everywhere operator to propositional logic [0.03%]

Gries, D Gries

Journal of Logic and Computation. 1998;8(1):119-129. DOI:10.1093/logcom/8.1.119 1998

Tractable and intractable instances of combination problems for unification and disunification [0.03%]

Schulz, K. Schulz

Journal of Logic and Computation. 2000;10(1):105-135. DOI:10.1093/logcom/10.1.105 2000

Quantitative Information Flow, Relations and Polymorphic Types [0.03%]

Clark, D. Clark

Journal of Logic and Computation. 2005;15(2):181-199. DOI:10.1093/logcom/exi009 2005

Triviality and Minimality in the Degrees of Monotone Complexity [0.03%]

Calhoun, W. C. Calhoun

Journal of Logic and Computation. 2012;22(2):197-206. DOI:10.1093/logcom/exq003 2012

Destructive Modal Resolution [0.03%]

FITTING, MELVIN FITTING

Journal of Logic and Computation. 1990;1(1):83-97. DOI:10.1093/logcom/1.1.83 1990