[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - From Axioms to Analytic Rules in Nonclassical Logics

✍ Scribed by Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige

• Book ID: 118213792
• Publisher: IEEE
• Year: 2008
• Weight: 340 KB
• Volume: 0
• Category: Article
• ISBN: 0769531830
• DOI: 10.1109/lics.2008.39