Polynomial Ring Calculus for Many-Valued Logics

Walter Alexandre Carnielli. Polynomial Ring Calculus for Many-Valued Logics. In 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada. pages 20-25, IEEE Computer Society, 2005. [doi]

Authors

Walter Alexandre Carnielli

This author has not been identified. Look up 'Walter Alexandre Carnielli' in Google