Suchergebnisse - "Computing methodologies Symbolic and algebraic manipulation Symbolic and algebraic algorithms"

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

    EXACT UNIFICATION AND ADMISSIBILITY.

    Autoren: CABRER, LEONARDO M. METCALFE, GEORGE

    Quelle: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-15, 15p

    Schlagwörter: MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models, DISTRIBUTIVE law (Mathematics), DISTRIBUTIVE lattices

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    ON ABSORPTION IN SEMIGROUPS AND n-ARY SEMIGROUPS.

    Autoren: BAŠIĆ, BOJAN

    Quelle: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 2, p1-13, 13p

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    ADMISSIBILITY IN FINITELY GENERATED QUASIVARIETIES.

    Autoren: METCALFE, GEORGE RÖTHLISBERGER, CHRISTOPH

    Quelle: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-19, 19p

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: