Suchergebnisse - Indermark, Klaus
Klaus Indermark
Klaus Indermark (* 21. September 1940) ist ein deutscher Informatiker und Hochschullehrer. Veröffentlicht in Wikipedia- Treffer 1 – 20 von 23
- Zur nächsten Seite
-
1Functional compiler descriptionVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Automatentheorie und formale SprachenBand 1. 1981. - 189 S. : graph. Darst.von Indermark, Klaus, Klaeren, Herbert 1950-Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Reduction semantics for rational schemesVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Gleichungsdefinierbarkeit in RelationalstrukturenVeröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Push down transductions as primitive recursive wordfunctionsVeröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Zur Zustandsminimisierung nichtdeterministischer erkennender AutomatenVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
7Algorithmen, rekursive Funktionen und formale SprachenVeröffentlicht 1968Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Complexity of infinite treesVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9On rational definitions in complete algebras without rankVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10On recursively definable relationsVeröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Der Isomorphiesatz von ROGERS für Gödelnumerierungen rekursiver FunktionenVeröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Endliche Automaten und universelle AlgebrenVeröffentlicht 1969Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Zum Minimisierungsproblem bei nichtdeterministischen AutomatenVeröffentlicht 1969Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Zur Charakterisierung erkennbarer WortmengenVeröffentlicht 1968Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Semantik rekursiver Funktionsdefinitionen mit StriktheitsinformationenVeröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Berechenbarkeit und Algorithmen: Ausarbeitung einer Vorlesung vom WS 76/77Veröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Zur Zustandsminimisierung nichtdeterministischer erkennender AutomatenVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18Zur Zustandsminimisierung nichtdeterministischer erkennender AutomatenVeröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Algorithmen, rekursive Funktionen und formale SprachenVeröffentlicht 1968Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Automatentheorie und formale SprachenSignatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …