Klaus Indermark
Klaus Indermark (* 21. September 1940) ist ein deutscher Informatiker und Hochschullehrer. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 23 für Suche 'Indermark, Klaus', Suchdauer: 0,08s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Functional compiler description von Indermark, Klaus
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
2
Automatentheorie und formale Sprachen von Indermark, Klaus, Klaeren, Herbert 1950-
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen … -
3
Complexity of infinite trees von Indermark, Klaus
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
4
On rational definitions in complete algebras without rank von Indermark, Klaus
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
5
Gleichungsdefinierbarkeit in Relationalstrukturen von Indermark, Klaus
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen … -
6
On recursively definable relations von Indermark, Klaus, Reisig, W.
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen … -
7
Gleichungsdefinierbarkeit in Relationalstrukturen von Indermark, Klaus
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen … -
8
Der Isomorphiesatz von ROGERS für Gödelnumerierungen rekursiver Funktionen von Indermark, Klaus
Veröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen … -
9
Zur Zustandsminderung nichtdeterministischer erkennender Automaten von Indermark, Klaus
Veröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen … -
10
Endliche Automaten und universelle Algebren von Indermark, Klaus
Veröffentlicht 1969Signatur: Wird geladen …
Standort: Wird geladen … -
11
Zum Minimisierungsproblem bei nichtdeterministischen Automaten von Indermark, Klaus
Veröffentlicht 1969Signatur: Wird geladen …
Standort: Wird geladen … -
12
Zur Charakterisierung erkennbarer Wortmengen von Indermark, Klaus
Veröffentlicht 1968Signatur: Wird geladen …
Standort: Wird geladen … -
13
Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformationen von Indermark, Klaus
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen … -
14
Reduction semantics for rational schemes von Indermark, Klaus
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
15
Berechenbarkeit und Algorithmen Ausarbeitung einer Vorlesung vom WS 76/77 von Indermark, Klaus
Veröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen … -
16
Gleichungsdefinierbarkeit in Relationalstrukturen von Indermark, Klaus
Veröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen … -
17
Push down transductions as primitive recursive wordfunctions von Indermark, Klaus
Veröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen … -
18
Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten von Indermark, Klaus
Veröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen … -
19
Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten von Indermark, Klaus
Veröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen … -
20
Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten von Indermark, Klaus
Veröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …