Universality and semicomputability for nondeterministic programming languages over abstract algebras (Q864513)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Universality and semicomputability for nondeterministic programming languages over abstract algebras
scientific article

    Statements

    Universality and semicomputability for nondeterministic programming languages over abstract algebras (English)
    0 references
    0 references
    0 references
    0 references
    9 February 2007
    0 references
    many-sorted algebras
    0 references
    computation on abstract data types
    0 references
    abstract computability
    0 references
    random assignments
    0 references
    guarded commands
    0 references
    nondeterminism
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references