Hereditary history preserving simulation is undecidable

Marcin Jurdzinski, Mogens Nielsen

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

    OriginalsprogEngelsk
    BogserieB R I C S Report Series
    NummerRS-99-1
    Antal sider15
    ISSN0909-0878
    StatusUdgivet - 1999

    Citationsformater