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
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=357
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Justified common knowledge
Sergei Artemov
Theoretical Computer Science
357
(1-3), 2006, pp. 4-22
Making knowledge explicit: How hard it is
Vladimir Brezhnev
,
Roman Kuznets
Theoretical Computer Science
357
(1-3), 2006, pp. 23-34
Polynomial-size Frege and resolution proofs of
st
-connectivity and Hex tautologies
Samuel R. Buss
Theoretical Computer Science
357
(1-3), 2006, pp. 35-52
Abstract canonical presentations
Nachum Dershowitz
,
Claude Kirchner
Theoretical Computer Science
357
(1-3), 2006, pp. 53-69
Combining effects: Sum and tensor
Martin Hyland
,
Gordon Plotkin
,
John Power
Theoretical Computer Science
357
(1-3), 2006, pp. 70-99
From truth to computability - I
Giorgi Japaridze
Theoretical Computer Science
357
(1-3), 2006, pp. 100-135
On the complexity of the reflected logic of proofs
Nikolai V. Krupski
Theoretical Computer Science
357
(1-3), 2006, pp. 136-142
Referential logic of proofs
Vladimir N. Krupski
Theoretical Computer Science
357
(1-3), 2006, pp. 143-166
Logic of subtyping
Pavel Naumov
Theoretical Computer Science
357
(1-3), 2006, pp. 167-185
Lambek calculus is
NP
-complete
Mati Pentus
Theoretical Computer Science
357
(1-3), 2006, pp. 186-201
An arithmetic for polynomial-time computation
Helmut Schwichtenberg
Theoretical Computer Science
357
(1-3), 2006, pp. 202-214
Geometrical semantics for linear logic (multiplicative fragment)
Sergey Slavnov
Theoretical Computer Science
357
(1-3), 2006, pp. 215-229
On the computational content of the Lawson topology
Frédéric De Jaeger
,
Martín Escardó
,
Gabriele Santini
Theoretical Computer Science
357
(1-3), 2006, pp. 230-240
Algebraic topology and concurrency
Lisbeth Fajstrup
,
Martin Rauss̈en
,
Eric Goubault
Theoretical Computer Science
357
(1-3), 2006, pp. 241-278