-
ARMANDO A.; COGLIO A.; GIUNCHIGLIA F.; RANISE S.,
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics,
in «JOURNAL OF SYMBOLIC COMPUTATION»,
vol. 32,
2001
, pp. 305 -
332
-
ARMANDO A.; COGLIO A.; GIUNCHIGLIA F.; RANISE S.,
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics,
in «JOURNAL OF SYMBOLIC COMPUTATION»,
vol. 32,
2001
, pp. 305 -
332
-
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)
