Klaus Indermark

Publication Activity (10 Years)

Years Active: 1972-2006
Publications (10 Years): 0

Publications

Klaus Indermark, Thomas Noll
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Acta Informatica 43 (1) (2006)
Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm
Distributed Implementation of Programmed Graph Reduction. PARLE (1) (1989)
Herbert Klaeren, Klaus Indermark
Efficient Implementation of an Algebraic Specification Language. Algebraic Methods (1987)
Klaus Indermark, Herbert Klaeren
Efficient Implementation of Structural Recursion. FCT (1987)
Klaus Indermark, Herbert Klaeren
Compiling Fibonacci-Like Recursion. ACM SIGPLAN Notices 22 (6) (1987)
Klaus Indermark
Reduction Semantics for Rational Schemes. RAIRO Theor. Informatics Appl. 18 (3) (1984)
Klaus Indermark
Complexity of Infinite Trees. ICALP (1983)
Klaus Indermark
On Rational Definitions in Complete Algebras without Rank. Theor. Comput. Sci. 21 (1982)
Werner Damm, Elfriede Fehr, Klaus Indermark
Higher Type Recursion and Self-Application as Control Structures. Formal Description of Programming Concepts (1977)
Klaus Indermark
Schemes with Recursion on Higher Types. MFCS (1976)
Klaus Indermark
The Continuous Algebra of Monadic Languages. MFCS (1975)
Klaus Indermark
Control structures and monadic languages. Automata Theory and Formal Languages (1975)
Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch
On primitive recursive wordfunctions. Computing 15 (3) (1975)
Klaus Indermark
On lanov schemas with one memory location. Automatentheorie und Formale Sprachen (1973)
Klaus Indermark
On Ianov Schemas with One Memory Location. MFCS (1973)
Klaus Indermark
Programmschemata mit Booleschen Unterprogrammen. GI Jahrestagung (1972)
Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata. ICALP (1972)