Resource-distribution via Boolean constraints (Q5267424)

From MaRDI portal
scientific article; zbMATH DE number 6729801
Language Label Description Also known as
English
Resource-distribution via Boolean constraints
scientific article; zbMATH DE number 6729801

    Statements

    Resource-distribution via Boolean constraints (English)
    0 references
    0 references
    0 references
    13 June 2017
    0 references
    algebras
    0 references
    Boolean constraints
    0 references
    proof-search
    0 references
    relevant logics
    0 references
    sequent calculus
    0 references
    substructural logics
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references