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: Author="Springsteel, F.N."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Complexity in mechanized hypothesis formation
P. Pudlák
,
F.N. Springsteel
Theoretical Computer Science
8
(2), 1979, pp. 203-225
On the pre-AFL of
[\log n]
space and related families of languages
F.N. Springsteel
Theoretical Computer Science
2
(3), 1976, pp. 295-304
Language recognition by marking automata
R.W. Ritchie
,
F.N. Springsteel
Information and Control
20
, 1972, pp. 313-330