A novel asynchronous parallelism scheme for first-order logic (Q5210792)

From MaRDI portal
scientific article; zbMATH DE number 7154568
Language Label Description Also known as
English
A novel asynchronous parallelism scheme for first-order logic
scientific article; zbMATH DE number 7154568

    Statements