You are here

Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)

Pages