Suchergebnisse - acm: i.: computing methodologies/i.1: symbolic AND algebraic manipulation/i.1.0: general

  • Treffer 1 - 3 von 3
Treffer weiter einschränken
  1. 1

    Packaging Mathematical Structures

    Autoren: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Weitere Verfasser: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Quelle: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany

    Schlagwörter: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]

    Geographisches Schlagwort: Munich, Germany

    Verfügbarkeit: https://inria.hal.science/inria-00368403
    https://inria.hal.science/inria-00368403v2/document
    https://inria.hal.science/inria-00368403v2/file/main.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Packaging Mathematical Structures

    Autoren: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Weitere Verfasser: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Quelle: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany

    Schlagwörter: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]

    Geographisches Schlagwort: Munich, Germany

    Verfügbarkeit: https://inria.hal.science/inria-00368403
    https://inria.hal.science/inria-00368403v2/document
    https://inria.hal.science/inria-00368403v2/file/main.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Packaging Mathematical Structures

    Autoren: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Weitere Verfasser: Garillot, François Gonthier, Georges Mahboubi, Assia et al.

    Quelle: Theorem Proving in Higher Order Logics ; https://hal.inria.fr/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany

    Schlagwörter: Formalization of Algebra, Coercive subtyping, Type inference, Coq, SSReflect, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.0: General, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]

    Geographisches Schlagwort: Munich, Germany

    Relation: inria-00368403; https://hal.inria.fr/inria-00368403; https://hal.inria.fr/inria-00368403v2/document; https://hal.inria.fr/inria-00368403v2/file/main.pdf

    Verfügbarkeit: https://hal.inria.fr/inria-00368403
    https://hal.inria.fr/inria-00368403v2/document
    https://hal.inria.fr/inria-00368403v2/file/main.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: