Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Publikationen / A Semantic Proof of Polytime Soundness of Light Affine Logic


Inhaltsbereich

Ugo D Lago and Martin Hofmann (2008)

A Semantic Proof of Polytime Soundness of Light Affine Logic

In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, ed. by Edward A. Hirsch and Alexander A. Razborov and Alexei L. Semenov and Anatol Slissenko, vol. 5010, pp. 134-145, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-79708-1).

Artikelaktionen


Funktionsleiste