Relational Methods in Computer Science

DOI10.1007/11734673zbMath1185.03063OpenAlexW2482623798MaRDI QIDQ5899321

Ewa S. Orłowska, Andrzej Szałas

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11734673

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Axiomatics of classical set theory and its fragments (03E30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals

This page was built for publication: Relational Methods in Computer Science