Reasoning about effects of concurrent actions (Q4352530)

From MaRDI portal
scientific article; zbMATH DE number 1057475
Language Label Description Also known as
English
Reasoning about effects of concurrent actions
scientific article; zbMATH DE number 1057475

    Statements

    Reasoning about effects of concurrent actions (English)
    0 references
    4 September 1997
    0 references
    0 references
    logic programming inference mechanisms
    0 references
    0 references
    0 references