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

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