Subtractive logic (0)

by T Crolard
Venue:Theoretical Computer Science