scientific article; zbMATH DE number 1441851

zbMATH Open0961.03026MaRDI QIDQ4951502

Michiro Kondo

Publication date: 27 July 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

decision problemdistributive bilattices logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Decidability of theories and sets of sentences (03B25) Structure theory of lattices (06B05) Logic programming (68N17)

Related Items (1)

Title not available (Why is that?)

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 Q4951502)