Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Baskar, Anguraj"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Primal Infon Logic: Derivability in polynomial time Publikation auswählen
Anguraj Baskar, Prasad Naldurg, K.R. Raghavendra, S.P. Suresh

Proceedings of the 33rd IARCS International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2013 (Guwahati, India, December 12-14, 2013)
Leibniz International Proceedings in Informatics (LIPIcs) 24 , 2013, pp. 163-174

Editors  Anil Seth, Vishnoi Nisheeth K.
Publisher:  Dagstuhl Publishing, Saarbrücken/Wadern
 
URL:   http://drops.dagstuhl.de/opus/volltexte/2013/4370