Výsledky vyhledávání - "Theory of computation Semantics and reasoning Program reasoning Program analysis"

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1

    INFERRING ALGEBRAIC EFFECTS.

    Autoři: PRETNAR, MATIJA

    Zdroj: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 3, p1-43, 43p

    Témata: COMPUTER programmers, ALGORITHMS, INFORMATION theory, PROGRAMMING languages, ALGEBRA

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: