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条

An Iterative Framework for Simulation Conformance [0.03%]

Chaki, S. Chaki

Journal of Logic and Computation. 2005;15(4):465-488. DOI:10.1093/logcom/exi028 2005

Refinements of subatomic natural deduction [0.03%]

Wi ckowski, B. Wi ckowski

Journal of Logic and Computation. 2014;():exu046-. DOI:10.1093/logcom/exu046 2014

Ordering protoalgebraic logics [0.03%]

Font, J. M. Font

Journal of Logic and Computation. 2014;():exu015-. DOI:10.1093/logcom/exu015 2014

Declarative PTIME queries for relational databases using quantifier elimination [0.03%]

Doherty, P Doherty

Journal of Logic and Computation. 1999;9(5):737-758. DOI:10.1093/logcom/9.5.737 1999

Formalizing action and change in modal logic I: the frame problem [0.03%]

Castilho, M. Castilho

Journal of Logic and Computation. 1999;9(5):701-735. DOI:10.1093/logcom/9.5.701 1999

Multimedia Interpretation for Dynamic Ontology Evolution [0.03%]

Castano, S.; Peraldi, I. S. E.; Ferrara et al. Castano et al.

Journal of Logic and Computation. 2009;19(5):859-897. DOI:10.1093/logcom/exn049 2009

Enumeration of the adjunctive hierarchy of hereditarily finite sets [0.03%]

Audrito, G.; Tomescu, A. I.; Wagner et al. Audrito et al.

Journal of Logic and Computation. 2015;25(3):943-963. DOI:10.1093/logcom/exu062 2015

A note on hereditarily Formula- and Formula-complete sets of sentences [0.03%]

Speranski, S. O. Speranski

Journal of Logic and Computation. 2014;():exu066-. DOI:10.1093/logcom/exu066 2014

Quantale Modules and their Operators, with Applications [0.03%]

Russo, C. Russo

Journal of Logic and Computation. 2010;20(4):917-946. DOI:10.1093/logcom/exn088 2010

Logic as a Vector System [0.03%]

Westphal, J. Westphal

Journal of Logic and Computation. 2005;15(5):751-765. DOI:10.1093/logcom/exi040 2005