Suchergebnisse - "lazy sequential computation"

Andere Suchmöglichkeiten:

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Proof Systems for Reasoning about Computation Errors von Avron, Arnon, Konikowska, Beata

    ISSN: 0039-3215, 1572-8730
    Veröffentlicht: Dordrecht Springer 01.03.2009
    Veröffentlicht in Studia logica (01.03.2009)
    “… In that context, 3-valued McCarthy logic is suitable for handling lazy sequential computation, while 3-valued Kleene logic can be used for reasoning about parallel computation …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: