Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic I. - Computing Methodologies
Topic I.1 - SYMBOLIC AND ALGEBRAIC MANIPULATION
Topic I.1.1 - Expressions and Their Representation

A. Armando, S. Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
/jucs_7_2/a_practical_extension_mechanism
page 124 - 140
Vol.7 / Issue 2
V. Ciric, A. Cvetkovic, I. Milentijevic, O. Vojinovic:
All-Pairs Shortest Paths Algorithm for Regular 2D Mesh Topologies
/jucs_22_11/all_pairs_shortest_paths
page 1437 - 1455
Vol.22 / Issue 10
I.A. Durand, S.R. Schwer:
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
/jucs_14_20/a_tool_for_reasoning
page 3282 - 3306
Vol.14 / Issue 20
S. M. Markov, Y. Akyildiz:
Curve Fitting and Interpolation of Biological Data Under Uncertainties
/jucs_2_2/curve_fitting_and_interpolation
page 58 - 69
Vol.2 / Issue 2
S. M. Markov:
On Directed Interval Arithmetic and its Applications
/jucs_1_7/on_directed_interval_arithmetic
page 514 - 526
Vol.1 / Issue 7
E. D. Popova:
Algebraic Solutions to a Class of Interval Equations
/jucs_4_1/algebraic_solutions_to_a
page 48 - 67
Vol.4 / Issue 1
S. R. Schwer:
Reasoning with Intervals on Granules
/jucs_8_8/reasoning_with_intervals_on
page 793 - 808
Vol.8 / Issue 8