Axiomatizing prefix iteration with silent steps (Q1923086)

From MaRDI portal





scientific article; zbMATH DE number 930725
Language Label Description Also known as
English
Axiomatizing prefix iteration with silent steps
scientific article; zbMATH DE number 930725

    Statements

    Identifiers