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

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

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