Showing 81 - 100 results of 388 for search '"symbolic computation"', query time: 0.11s Refine Results
  1. 81
  2. 82
  3. 83
  4. 84
  5. 85
  6. 86
  7. 87
  8. 88

    Deciding Kleene Algebras in Coq by Thomas Braibant, Damien Pous

    Published 2012-03-01
    Subjects: “…computer science - symbolic computation…”
    Get full text
    Article
  9. 89
  10. 90

    Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ by Piotr Hofman, Jakub Różycki

    Published 2022-12-01
    Subjects: “…computer science - symbolic computation…”
    Get full text
    Article
  11. 91

    Solving equations over small unary algebras by Przemyslaw Broniek

    Published 2005-01-01
    Subjects: “…[info.info-sc] computer science [cs]/symbolic computation [cs.sc]…”
    Get full text
    Article
  12. 92
  13. 93

    Undecidable problems concerning densities of languages by Jakub Kozik

    Published 2005-01-01
    Subjects: “…[info.info-sc] computer science [cs]/symbolic computation [cs.sc]…”
    Get full text
    Article
  14. 94
  15. 95
  16. 96

    Classical Combinatory Logic by Karim Nour

    Published 2005-01-01
    Subjects: “…[info.info-sc] computer science [cs]/symbolic computation [cs.sc]…”
    Get full text
    Article
  17. 97
  18. 98
  19. 99

    Non-Determinism and Nash Equilibria for Sequential Game over Partial Order by Stéphane Le Roux

    Published 2005-01-01
    Subjects: “…[info.info-sc] computer science [cs]/symbolic computation [cs.sc]…”
    Get full text
    Article
  20. 100

    The call-by-value λµ∧∨-calculus by Karim Nour, Khelifa Saber

    Published 2005-01-01
    Subjects: “…[info.info-sc] computer science [cs]/symbolic computation [cs.sc]…”
    Get full text
    Article