[IEEE 2009 WRI World Congress on Computer Science and Information Engineering - Los Angeles, California USA (2009.03.31-2009.04.2)] 2009 WRI World Congress on Computer Science and Information Engineering - Consistency of Finite Theory in Three Types of Many-Valued Propositional Logic Systems
- 作者Li, Li-Feng
- 文件大小234.43KB
- 发表时间2009
- DOI10.1109/csie.2009.77
- 页码651-654
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Organizing Committee2015
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Copyright Page2015
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Author Index2015
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - About the Location2015
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Title Page iii2015
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Title Page i2015
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Table of Contents2015
[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - Publisher's Information2015
[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - SeLINQSchoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei · 2014
[IEEE 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Saarbrucken, Germany (2016.3.21-2016.3.24)] 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Explicit Secrecy: A Policy for Taint TrackingSchoepe, Daniel; Balliu, Musard; Pierce, Benjamin C.; Sabelfeld, Andrei · 2016
[IEEE 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - Stockholm, Sweden (2019.6.17-2019.6.19)] 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - Information-Flow Control for Database-Backed ApplicationsGuarnieri, Marco; Balliu, Musard; Schoepe, Daniel; Basin, David; Sabelfeld, Andrei · 2019