Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for ModalitiesJuan C. Agudelo, Walter Alexandre Carnielli. rsl, 4(1):150-170, 2011. [doi] Polynomial ring calculus for modalitiesJuan Carlos Agudelo Agudelo, Walter Carnielli. logcom, 27(6):1853-1870, 2017. [doi] The method of polynomial ring calculus and its potentialitiesWalter Carnielli, Mariana Matulovic. TCS, 606:42-56, 2015. [doi]
The following publications are possibly variants of this publication: