Search Results - Algebra

Refine Results
  1. Cover Image

    Induction in Algebra: a First Case Study

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Essential Convexity and Complexity of Semi-Algebraic Constraints

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Dynamic Dependency Pairs for Algebraic Functional Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Logic Meets Algebra: the Case of Regular Languages

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Modularizing the Elimination of r=0 in Kleene Algebra

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Arithmetic Independence of Certain Uniform Sets of Algebraic Integers

    Published in Uniform Distribution Theory (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    ALGEBRAIC EXPRESSION USING AN UPGRADED TAC OPTIMIZATION ALGORITHM

    Published in Acta Electronica Malaysia (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    AGIPC: Adaptive In-Solve Algebraic Coarsening for GPU IPC

    Published in ArXiv cs.GR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    The Subpower Membership Problem for Finite Algebras with Cube Terms

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Connector algebras for C/E and P/T nets' interactions

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Wreath Products of Forest Algebras, with Applications to Tree Logics

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Untyping Typed Algebras and Colouring Cyclic Linear Logic

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Realizability algebras II : new models of ZF + DC

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Realizability algebras: a program to well order R

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Initial Algebra Semantics for Cyclic Sharing Tree Structures

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    An algebraic description of screw dislocations in SC and BCC crystal lattices

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Enumeration and updates for conjunctive linear algebra queries through expressibility

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Failure Trace Semantics for a Process Algebra with Time-outs

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: