Klaus Indermark - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2006

Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness InformationKlaus Indermark, Thomas Noll. ACTA, 43(1):1-43, 2006. [doi]

1999

Semantik rekursiver Funktionsdefinitionen mit StriktheitsinformationKlaus Indermark. In Patrick Horster, editor, Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher Wege zwischen Mathematik und Informatik [Festschrift anläßlich der Emeritierung von Professor Dr. Walter Oberschel]. pages 118-143, Vieweg+Teubner Verlag / Springer, 1999. [doi]

Walter Oberschelp Lehrstuhl für angewandte Mathematik, insbesondere InformatikKlaus Indermark. In Patrick Horster, editor, Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher Wege zwischen Mathematik und Informatik [Festschrift anläßlich der Emeritierung von Professor Dr. Walter Oberschel]. pages 1-4, Vieweg+Teubner Verlag / Springer, 1999. [doi]

1989

Distributed Implementation of Programmed Graph ReductionRita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm. parle 1989: 136-157

1987

Efficient Implementation of Structural RecursionKlaus Indermark, Herbert Klaeren. fct 1987: 204-213

Compiling Fibonacci-Like RecursionKlaus Indermark, Herbert Klaeren. SIGPLAN, 22(6):101-108, 1987.

Efficient Implementation of an Algebraic Specification LanguageHerbert Klaeren, Klaus Indermark. am 1989: 69-90

1984

Reduction Semantics for Rational SchemesKlaus Indermark. ita, 18(3):209-223, 1984.

1983

Complexity of Infinite TreesKlaus Indermark. icalp 1983: 347-360

1982

On Rational Definitions in Complete Algebras without RankKlaus Indermark. TCS, 21:281-313, 1982.

1977

Higher Type Recursion and Self-Application as Control StructuresWerner Damm, Elfriede Fehr, Klaus Indermark. ifip2 1978: 461-490

1976

Schemes with Recursion on Higher TypesKlaus Indermark. mfcs 1976: 352-358

1975

The Continuous Algebra of Monadic LanguagesKlaus Indermark. mfcs 1975: 266-270

Control structures and monadic languagesKlaus Indermark. automata 1975: 289-292

On primitive recursive wordfunctionsFriedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch. computing, 15(3):217-234, 1975. [doi]

1973

On Ianov Schemas with One Memory LocationKlaus Indermark. mfcs 1973: 239-245

On lanov schemas with one memory locationKlaus Indermark. automata 1973: 284-293

1972

Programmschemata mit Booleschen UnterprogrammenKlaus Indermark. gi 1973: 107-115 [doi]

Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by AutomataFriedrich W. von Henke, Klaus Indermark, Klaus Weihrauch. icalp 1972: 549-561

Sign in or sign up to see more results.

runs on WebDSL