Quantifier Elimination for the Relative Frobenius

By Thomas Scanlon. 2000

48 citations recorded by the source corpus.

Subfields: Discrete Mathematics and Combinatorics, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/dea1f844034838608ce0202364b88de63138affc