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
[2]
Hilfe
Suche: Series=LNCS AND Volume=45
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The calculus of facts
Hartmann Genrich
,
Gerda Thieler-Mevissen
Lecture Notes in Computer Science
45
, 1976, pp. 588-595
Multiplicity functions on
\omega
-automata
Marek KarpiĆski
Lecture Notes in Computer Science
45
, 1976, pp. 596-601
A complete axiomatic characterization of algorithmic properties of block-structured programs with procedures
G. Mirkowska
,
A. Salwicki
Lecture Notes in Computer Science
45
, 1976, pp. 602-606
Seiten
<
1
2
3
4