Search Results - "Computing methodologies Symbolic AND algebraic manipulation Symbolic AND algebraic algorithms*"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    EXACT UNIFICATION AND ADMISSIBILITY.

    Authors: CABRER, LEONARDO M. METCALFE, GEORGE

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

    Subject Terms: MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models, DISTRIBUTIVE law (Mathematics), DISTRIBUTIVE lattices

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    ON ABSORPTION IN SEMIGROUPS AND n-ARY SEMIGROUPS.

    Authors: BAŠIĆ, BOJAN

    Source: 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
    Save to List
  3. 3

    ADMISSIBILITY IN FINITELY GENERATED QUASIVARIETIES.

    Authors: METCALFE, GEORGE RÖTHLISBERGER, CHRISTOPH

    Source: 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
    Save to List

Search Tools: