Suchergebnisse - Henke, Friedrich W. von
- Treffer 1 – 10 von 10
-
1Primitiv-rekursive TransformationenVeröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Über eine deterministische Theorie formaler SprachenVeröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Verallgemeinerte primitiv-rekursive Funktionen zwischen freien MonoidenVeröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Primitiv-rekursive TransformationenVeröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Primitiv-rekursive TransformationenVeröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Programmschemata und Familien abstrakter ProgrammeVeröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Notes on automating theorem proving in LCFVeröffentlicht 1977Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Programmschemata und Familien abstrakter ProgrammeVeröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Primitiv-rekursive TransformationenVeröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Programmschemata und Familien abstrakter ProgrammeVeröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …