Languages for Defining Sets in Arbitrary Algebras

Eric G. Wagner

Browse the full FOCS paper archive.