Suchergebnisse - Kröger, Henner
- Treffer 1 – 20 von 23
- Zur nächsten Seite
-
1Subjunktionsbegriffe in orthomodularen Verbänden und Boole'sche R-SchiefverbändeVeröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
2Definition einer verbandsähnlichen Algebra mit nicht-kommutativen und nicht-assoziativen VerknüpfungenVeröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Periodizitätsbetrachtungen bei Boole'schen DifferenzengleichungenVeröffentlicht 1971Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Der Verband der invarianten Teilräume eines endlichen Vektorraumes: (Die Übergangsgruppen linearer Gruppenautomaten, Teil II)Veröffentlicht 1970Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5DieÜbergangsgruppen linearer GruppenautomatenVeröffentlicht 1969Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Partielle und residuale Auswertung mit Anwendungen unter anderem bei der semantisch gesteuerten Compiler-Erzeugung: DFG-Project Kr 915/1 (Februar 1989 - Januar 1994) ; AbschlußberichtVeröffentlicht 1994Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
7Fundamentals of a concept of partial and residual evaluationVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Compiler-construction by partial and residual evaluation: pre-compilation-techniques and inner specializationsVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Code-Erzeugung durch partielle AuswertungVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Compiling of a generalized LISP-LABEL-concept by partial evaluationVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Partielle Auswertung und semantisch gesteuerter Compilerbau am Beispiel von LISPVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Report on a ø-based method for partial evaluation and residual evaluationVeröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13A summary of a system for partial evaluation, residual evaluation, code generation and semantics directed compiler generationVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Subjunktionsbegriffe in orthomodularen Verbänden und Boole'sche R-SchiefbvernändeVeröffentlicht 1972Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15PART + RESI = a system for partial evaluation and semantics directed compiler generationVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Some new aspects of partial evaluation of imperative languagesVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-InterpretiererVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
18Zwerch-Assoziativität und verbandsähnliche AlgebrenVeröffentlicht 1973Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Ein verallgemeinertes LABEL-Konzept in LISP, seine Interpretation und ÜbersetzungVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Fixpunkt-AbschätzungenVeröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …