On the decidability of some equivalence problems for DOL-systems

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

    OriginalsprogEngelsk
    TidsskriftInformation and Computation
    Vol/bind25
    Nummer2
    Sider (fra-til)166-193
    ISSN0890-5401
    DOI
    StatusUdgivet - 1974

    Citationsformater