Norihiro Kamide. Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, editors, Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Volume 5293 of Lecture Notes in Computer Science, pages 245-257, Springer, 2008.
No references recorded for this publication.
No citations of this publication recorded.