-
ARMANDO A.; RANISE S.,
A Practical Extension Mechanism for Decision Procedures:
the Case Study of Universal Presburger Arithmetic,
in «JOURNAL OF UNIVERSAL COMPUTER SCIENCE»,
vol. 7 (issue 2),
2001
, pp. 124 -
140
-
Armando A.; Zini D.,
Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture,
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium,
NATICK, MA,
A K Peters, Ltd.,
2001
, pp. 49 -
64
-
Armando A.; Kohlhase M.; Ranise S.,
Coommunication Protocols for Mathematical Services based on KQML and OMRS,
Symbolic Computation and Automated Reasoning : The Calculemus-2000 Symposium,
NATICK, MA,
AK Peters, Ltd.,
2001
, pp. 33 -
48
-
Armando A.; Peccia F.; Ranise S.,
The Phase Transition of the Linear Inequalities Problem,
Principles and Practice of Constraint Programming - CP 2001,
vol.2239,
2001
, pp. 422-
432
, (7th International Conference, CP 2001,
Paphos, Cyprus,
26 nov/1 Dec 2001)
-
Armando A.; Ranise S.; Rusinowitch M.,
Uniform Derivation of Decision Procedures by Superposition,
In International Workshop on Computer Science Logic (CSL) (2001),
Springer,
vol.2142,
2001
, pp. 513-
527
, (15th International Workshop on Computer Science Logic,
Paris, France,
10-13/09/2010)
-
Armando A.; Ranise S.; Rusinowitch M.,
A Superposition Based Methodology to Design Satisfiability Decision Procedures,
2001
, pp. 8-
12
, (15th International Workshop on Unification,
Siena, Italy,
18-19/06/2001)
-
Armando A.; Compagna L.; Ranise S.,
RDL---Rewrite and Decision procedure Laboratory,
in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»
vol.2083,
2001
, pp. 663-
669
, (International Joint Conference on Automated Reasoning (IJCAR 2001),
Siena, Italy,
18-23/06/2001)
-
Zimmer J.; Armando A.; Giromini C.,
Towards Mathematical Agents -- Combining MathWeb-SB and LBA,
in «JOURNAL OF SYMBOLIC COMPUTATION»
vol.2083,
2001
, pp. 64-
77
, (9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS-2001),
Siena, Italy,
2001-June 21-22)
-
Armando A.; Jabelean T. (eds.),
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation,
2001
-
Armando A.; Ranise S.,
Termination of Constraint Contextual Rewriting,
in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»
vol.1794,
2000
, pp. 47-
61
, (3rd Intl. W. on Frontiers of Comb. Sys.'s (FroCos'2000),
2000)