Výsledky vyhľadávania - "lazy sequential computation"

  • Zobrazené výsledky 1 - 3 z 3
Upresniť hľadanie
  1. 1

    Proof Systems for Reasoning about Computation Errors

    Autori: Avron, Arnon Konikowska, Beata

    Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2009 Mar 01. 91(2), 273-293.

    Prístupová URL adresa: https://www.jstor.org/stable/40269036

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  2. 2

    Proof Systems for Reasoning about Computation Errors

    Autori: A. Avron B. Konikowska The Pennsylvania State University CiteSeerX Archives

    Prispievatelia: A. Avron B. Konikowska The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.math.tau.ac.il/~aa/articles/MK.pdf.

    Predmety: three-valued logics, four-valued logics, parallel computation, lazy sequential computation, computation errors, non-deterministic matrices, sequent calculi

    Popis súboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7572; http://www.math.tau.ac.il/~aa/articles/MK.pdf

    Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7572
    http://www.math.tau.ac.il/~aa/articles/MK.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  3. 3

    Proof Systems for Reasoning about Computation Errors.

    Autori: Arnon Avron Beata Konikowska

    Zdroj: Studia Logica; Mar2009, Vol. 91 Issue 2, p273-293, 21p

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: