Klaus Indermark

21 papers A* 2B 4Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2022 — book
50 Jahre Studiengang Informatik an der RWTH
Helen Bolke-Hermanns, Joost-Pieter Katoen, Klaus Indermark, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas
2006 J jnl
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.
Acta Informatica
Klaus Indermark, Thomas Noll
1999 — ch.
Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation.
Angewandte Mathematik, insbesondere Informatik
Klaus Indermark
1999 — ch.
Walter Oberschelp Lehrstuhl für angewandte Mathematik, insbesondere Informatik.
Angewandte Mathematik, insbesondere Informatik
Klaus Indermark
1989 — conf
Distributed Implementation of Programmed Graph Reduction.
PARLE (1)
Rita Loogen, Herbert Kuchen, Klaus Indermark, Werner Damm
1987 J jnl
Compiling Fibonacci-Like Recursion.
ACM SIGPLAN Notices
Klaus Indermark, Herbert Klaeren
1987 B conf
Efficient Implementation of Structural Recursion.
FCT
Klaus Indermark, Herbert Klaeren
1987 — conf
Efficient Implementation of an Algebraic Specification Language.
Algebraic Methods
Herbert Klaeren, Klaus Indermark
1984 J jnl
Reduction Semantics for Rational Schemes.
RAIRO Theor. Informatics Appl.
Klaus Indermark
1983 A* conf
Complexity of Infinite Trees.
ICALP
Klaus Indermark
1982 J jnl
On Rational Definitions in Complete Algebras without Rank.
Theor. Comput. Sci.
Klaus Indermark
1977 — conf
Higher Type Recursion and Self-Application as Control Structures.
Formal Description of Programming Concepts
Werner Damm, Elfriede Fehr, Klaus Indermark
1976 B conf
Schemes with Recursion on Higher Types.
MFCS
Klaus Indermark
1975 — conf
Control structures and monadic languages.
Automata Theory and Formal Languages
Klaus Indermark
1975 J jnl
On primitive recursive wordfunctions.
Computing
Friedrich W. von Henke, G. Rose, Klaus Indermark, Klaus Weihrauch
1975 B conf
The Continuous Algebra of Monadic Languages.
MFCS
Klaus Indermark
1973 — ed.
1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973, Gesellschaft für Informatik (GI)
Automatentheorie und Formale Sprachen
Karl-Heinz Böhling, Klaus Indermark
1973 B conf
On Ianov Schemas with One Memory Location.
MFCS
Klaus Indermark
1973 — conf
On lanov schemas with one memory location.
Automatentheorie und Formale Sprachen
Klaus Indermark
1972 A* conf
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata.
ICALP
Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch
1972 — conf
Programmschemata mit Booleschen Unterprogrammen.
GI Jahrestagung
Klaus Indermark