Pāriet uz galveno navigāciju Pāriet uz meklēšanu Pāriet uz galveno saturu

Finite State Verifiers with Constant Randomness

    Pētījuma izpildes rezultāts: Nodaļa grāmatā/enciklopēdijā/konferences krājumāKonferences zinātniskais rakstsPētniecībakoleģiāli recenzēts

    OriģinālvalodaAngļu
    Rīkotāja publikācijas nosaukumsHow the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : Proceedings.
    Publikācijas vietaBerlin ; Heidelberg
    IzdevējsSpringer
    Lapas646-654
    DOIs
    Publikācijas statussPublicēts - 2012

    Publikāciju sērijas

    NosaukumsLecture Notes in Computer Science ; Vol.7318

    Citēt šo