Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Kristiansen, Lars"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the edge of decidability in complexity analysis of loop programs
Amir M. Ben-Amram
,
Lars Kristiansen
International Journal of Foundations of Computer Science
23
(7), 2012, pp. 1451-1464
Non-determinism in Gödel's System
T
Lars Kristiansen
,
Bedeho Mesghina Wolde Mender
Theory of Computing Systems
51
(1), 2012, pp. 85-105
Complexity-theoretic hierarchies induced by fragments of Gödel's
T
Lars Kristiansen
Theory of Computing Systems
43
(3-4), 2008, pp. 516-541
Complexity classes and fragments of
C
Lars Kristiansen
,
Paul J. Voda
Information Processing Letters
88
(5), 2003, pp. 213-218