Relational Methods in Computer Science
From MaRDI portal
Publication:5899321
Recommendations
Cited In (7)
- Towards incorporating background theories into quantifier elimination
- The Ackermann approach for modal logic, correspondence theory and second-order reduction
- Title not available (Why is no real title available?)
- Quantifier elimination for infinite terms
- Elimination problems in logic: a brief history
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
- Title not available (Why is no real title available?)
This page was built for publication: Relational Methods in Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899321)