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="Langmaack, H."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On termination problems for finitely interpreted ALGOL-like programs
H. Langmaack
Acta Informatica
18
(1), 1982, pp. 79-108
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions
H. Langmaack
,
E.-R. Olderog
Lecture Notes in Computer Science
85
, 1980, pp. 363-373
On a theory of decision problems in programming languages
H. Langmaack
Lecture Notes in Computer Science
75
, 1979, pp. 538-558
Application of regular canonical systems to grammars translatable from left to right
H. Langmaack
Acta Informatica
1
, 1971/72, pp. 111-114