Indermark, Klaus.
Indermark, Klaus 1940-
Klaus Indermark computer scientist
VIAF ID: 74352357 ( Personal )
Permalink: http://viaf.org/viaf/74352357
Preferred Forms
- 100 1 _ ‡a Indermark, Klaus (sparse)
-
-
- 100 1 _ ‡a Indermark, Klaus
-
-
- 100 1 _ ‡a Indermark, Klaus
- 100 1 _ ‡a Indermark, Klaus ‡d 1940-
-
- 100 0 _ ‡a Klaus Indermark ‡c computer scientist
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Abstracts of the talks at the Fourth International Workshop on the Semantics of Programming Languages in Bad Honnef March 14-18, 1983 | |
Algorithmen, rekursive Funktionen und formale Sprachen | |
Arbeitstagung Theorie der Programmierung 13.12. - 16.12.1982 in Altenahr | |
Berechenbarkeit und Algorithmen Ausarbeitung e. Vorlesung vom WS 76/77 | |
Complexity of infinite trees | |
Endliche Automaten [MI] 1969 | |
Equivalence relations of non-deterministic Ianov schemes | |
Erste Fachtagung über Automatentheorie und Formale Sprachen | |
Functional compiler description | |
Gleichungsdefinierbarkeit in Relationalstrukturen | |
Granada Workshop on the Integration of Functional and Logic Programming | |
new implementation technique for recursive function definitions | |
On rational definitions in complete algebras without rank | |
Reduction semantics for rational schemes | |
Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation | |
Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten. |