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=150
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Approximate solution of
NP
optimization problems
G. Ausiello
,
P. Crescenzi
,
M. Protasi
Theoretical Computer Science
150
(1), 1995, pp. 1-55
On the greatest fixed point of a set functor
Jiȓí Adámek
,
Václav Koubek
Theoretical Computer Science
150
(1), 1995, pp. 57-75
Recognizable languages in concurrency monoids
Manfred Droste
Theoretical Computer Science
150
(1), 1995, pp. 77-109
Predicate transformers and higher-order programs
David A. Naumann
Theoretical Computer Science
150
(1), 1995, pp. 111-159
Algebraic proofs of consistency and completeness
P.H.B. Gardiner
Theoretical Computer Science
150
(1), 1995, pp. 161-191