Hans Langmaack

Hans Langmaack speaking at the Festschrift Colloquium for his former student Martin Fränzle in 2025 Prof. Dr. Hans Langmaack (born 7 May 1934 at Hof Helle in the Steinburg district) is a German mathematician and computer scientist. Provided by Wikipedia
Showing 1 - 20 results of 22 for search 'Langmaack, Hans', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Semantics and implementation problems in LOGLAN with its many level prefixing concept

    Semantics and implementation problems in LOGLAN with its many level prefixing concept by Langmaack, Hans

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Aspects of programs with finite modes

    Aspects of programs with finite modes by Langmaack, Hans

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A proof of a theorem of Lipton on Hoare logic and applications

    A proof of a theorem of Lipton on Hoare logic and applications by Langmaack, Hans

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze

    Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze by Langmaack, Hans-Jürgen

    Published 1974
    Thesis Book Interlibrary loan Place Request


    Saved in:
  5. 5
    On a theorem of McGowan concerning the most recent property of programs

    On a theorem of McGowan concerning the most recent property of programs by Kandzia, Peter, Langmaack, Hans

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Translation of ALGOL 60

    Translation of ALGOL 60 by Grau, Albert A., Hill, Ursula, Langmaack, Hans

    Published 1967
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Zur Äquivalenz der Hotz'schen und der Paul'schen Definition der Mehrdeutigkeit von Chomsky-Sprachen

    Zur Äquivalenz der Hotz'schen und der Paul'schen Definition der Mehrdeutigkeit von Chomsky-Sprachen by Langmaack, Hans

    Published 1967
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Präzisierung der Begriffe Phrasenstruktur und strukturelle Mehrdeutigkeit in CHOMSKY-Sprachen Der Vortrag wurde auf der Arbeitstagung über Automatentheorie vom 19. bis 23. Oktober 1965 in Hannover gehalten

    Präzisierung der Begriffe Phrasenstruktur und strukturelle Mehrdeutigkeit in CHOMSKY-Sprachen Der Vortrag wurde auf der Arbeitstagung über Automatentheorie vom 19. bis 23. Oktober... by Langmaack, Hans, Eickel, Jürgen 1935-

    Published 1965
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Zur Konstruktion von Holomorphiehüllen unverzweigter Gebiete über dem Cn

    Zur Konstruktion von Holomorphiehüllen unverzweigter Gebiete über dem Cn by Langmaack, Hans

    Published 1960
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Will information be able to justify the construction of large computer based systems?

    Will information be able to justify the construction of large computer based systems? by Goerigk, Wolfgang, Langmaack, Hans

    Published 2001
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Über vollständig operationell adäquate denotationelle Semantik funktionaler Programmiersprachen Ausarbeitung e. Teils d. Vorlesung Informatik III im Wintersemester 1987/88

    Über vollständig operationell adäquate denotationelle Semantik funktionaler Programmiersprachen Ausarbeitung e. Teils d. Vorlesung Informatik III im Wintersemester 1987/88 by Langmaack, Hans

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze

    Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze by Langmaack, Hans-Jürgen

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Informatik: Programmierung

    Informatik: Programmierung by Kandzia, Peter 1938-2023, Langmaack, Hans 1934-

    Published 1973
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Klassen unwesentlich verschiedener Ableitungsfolgen als Verbände

    Klassen unwesentlich verschiedener Ableitungsfolgen als Verbände by Langmaack, Hans

    Published 1969
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Lösbarkeit und Unlösbarkeit des Zyklenproblems für einige Klassen von CHOMSKY-Grammatiken

    Lösbarkeit und Unlösbarkeit des Zyklenproblems für einige Klassen von CHOMSKY-Grammatiken by Eickel, Jürgen 1935-, Langmaack, Hans

    Published 1968
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Zum Satz von Lidskii

    Zum Satz von Lidskii by Langmaack, Hans

    Published 1967
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Zur Mehrdeutigkeit von Chomsky-Sprachen für die Springer-Lecture-Notes

    Zur Mehrdeutigkeit von Chomsky-Sprachen für die Springer-Lecture-Notes by Eickel, Jürgen 1935-, Lahner, W., Langmaack, Hans

    Published 1967
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    The ProCos way towards correct systems

    The ProCos way towards correct systems by Langmaack, Hans

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Axiomatic semantics

    Axiomatic semantics by Langmaack, Hans

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    On procedures as open subroutines

    On procedures as open subroutines by Langmaack, Hans

    Published 1973
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: