Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

共收录本刊相关文章索引2143条

Shared Memory Implementation of the Gamma-Operation [0.03%]

KATIA GLADITZ; HERBERT KUCHEN KATIA GLADITZ; HERBERT KUCHEN

Journal of symbolic computation. 1996;21(4-6):577-591. DOI:10.1006/jsco.1996.0032 1996

A Para-Functional Programming Interface for a Parallel Computer Algebra Package [0.03%]

WOLFGANG SCHREINER WOLFGANG SCHREINER

Journal of symbolic computation. 1996;21(4-6):593-614. DOI:10.1006/jsco.1996.0033 1996

A Semi-Automatic Multiple-Strategy Approach To Mapping Tree-Structured Symbolic Processing Programs [0.03%]

ANGELA SODAN ANGELA SODAN

Journal of symbolic computation. 1996;21(4-6):615-634. DOI:10.1006/jsco.1996.0034 1996

The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis [0.03%]

JEAN-MARC ANDREOLI; UWE M. BORGHOFF; REMO PARESCHI JEAN-MARC ANDREOLI; UWE M. BORGHOFF; REMO PARESCHI

Journal of symbolic computation. 1996;21(4-6):635-667. DOI:10.1006/jsco.1996.0035 1996

Extending the μLog Framework with Local and Conditional Blackboard Operations [0.03%]

KOEN DE BOSSCHERE; JEAN-MARIE JACQUET KOEN DE BOSSCHERE; JEAN-MARIE JACQUET

Journal of symbolic computation. 1996;21(4-6):669-697. DOI:10.1006/jsco.1996.0036 1996

Constraint Satisfaction in Distributed Concurrent Logic Programming [0.03%]

HO-FUNG LEUNG; KEITH L. CLARK HO-FUNG LEUNG; KEITH L. CLARK

Journal of symbolic computation. 1996;21(4-6):699-714. DOI:10.1006/jsco.1996.0037 1996

A Methodology for Granularity-Based Control of Parallelism in Logic Programs [0.03%]

P. LOPEZ; M. HERMENEGILDO; S. DEBRAY P. LOPEZ; M. HERMENEGILDO; S. DEBRAY

Journal of symbolic computation. 1996;21(4-6):715-734. DOI:10.1006/jsco.1996.0038 1996

Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic [0.03%]

ALEXANDER L. CHISTOV ALEXANDER L. CHISTOV

Journal of symbolic computation. 1996;22(1):1-25. DOI:10.1006/jsco.1996.0039 1996

The Ideal Membership Problem in Non-Commutative Polynomial Rings [0.03%]

F.LEON PRITCHARD F.LEON PRITCHARD

Journal of symbolic computation. 1996;22(1):27-48. DOI:10.1006/jsco.1996.0040 1996

AC Complement Problems: Satisfiability and Negation Elimination [0.03%]

MARIBEL FERNÁNDEZ MARIBEL FERNÁNDEZ

Journal of symbolic computation. 1996;22(1):49-82. DOI:10.1006/jsco.1996.0041 1996