Cylindric algebra equation solver

DOI10.1007/3-540-52885-7_122zbMath1509.6834MaRDI QIDQ6488569

Unnamed Author, Frank Malloy Brown

Publication date: 28 April 2023

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Cylindric algebras. Part II
• Modalities and Quantification

This page was built for publication: Cylindric algebra equation solver