Reasoning about higher-order processes (Q5096732)

From MaRDI portal
scientific article; zbMATH DE number 7572965
Language Label Description Also known as
English
Reasoning about higher-order processes
scientific article; zbMATH DE number 7572965

    Statements

    Identifiers