Equations, Disequations and Unsolvable Subsets (abstract).

Philippe Codognet

Browse the full ISSAC paper archive.