On direct products of automaton decidable theories (Q1168306)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On direct products of automaton decidable theories
scientific article

    Statements

    Identifiers