scientific article; zbMATH DE number 4016859

MaRDI QIDQ3028971zbMATH OpenFDO

Authors Grzegorz Bryll, Katarzyna Hałkowska

Publication date 1987

zbMATH Keywords

Słupecki's systemsŁ-decidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50)

Cited in

(1)

• Decidability properties for fragments of CHR

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3028971)