C.: Principles of Superdeduction (2007)

by Paul Brauner , Inpl Loria , Clément Houtmann , Claude Kirchner , Inria Loria
Venue:In: Proc. of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS
Citations:10 - 5 self