Set constraints in some equational theories

DOI10.1007/BFb0016862zbMath1495.68040MaRDI QIDQ5096315

Witold Charatonik

Publication date: 16 August 2022

Published in: Constraints in Computational Logics (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Complexity results for classes of quantificational formulas
• Decidability of systems of set constraints with negative constraints
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Set constraints in some equational theories