Skip to contents

Indermark, Klaus [Author]

Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Published in: Aachener Informatik-Berichte ; 199813
Indermark, Klaus [Author]

Gleichungsdefinierbarkeit in Relationalstrukturen - [Als Ms. gedr]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

St. Augustin: Ges. für Mathematik und Datenverarbeitung, 1975

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 98
Indermark, Klaus [Author]

Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Birlinghoven: Ges. f. Math. u. Datenverarb., 1970

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 33
Klaeren, Herbert [Author]; Indermark, Klaus [Author]

A new implementation technique for recursive function definitions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1987

Published in: Aachener Informatik-Berichte ; 87,10
Indermark, Klaus [Author]; Klaeren, Herbert [Author]

Automatentheorie und Formale Sprachen I : nach e. Vorlesung von K. Indermark, gehalten an d. RWTH Aachen im WS 78/79, ausgearb. durch H. Klaeren

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, [circa 1979]

Published in: Schriften zur Informatik und angewandten Mathematik ; 71
Brauer, Wilfried [Author]; Indermark, Klaus [Author]

Algorithmen, rekursive Funktionen und formale Sprachen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Wien; Zürich: Bibliogr. Inst., 1968

Published in: BI-Hochschultaschenbücher ; 817
Indermark, Klaus [Editor]; Rodríguez Artalejo, M. [Other] ; Granada Workshop on the Integration of Functional and Logic Programming 1990, Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik

Granada Workshop on the Integration of Functional and Logic Programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,12
Böhling, Karl Heinz [Other]; Indermark, Klaus [Other]

Endliche Automaten / 1

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Wien; Zürich: Bibliogr. Inst., 1969

Published in: Endliche Automaten / von Karl Heinz Böhling und Klaus Indermark ; 1 - BI-Hochschultaschenbücher ; 703
Böhling, Karl Heinz [Other]; Indermark, Klaus [Other]; Schütt, Dieter [Other]

Endliche Automaten

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Wien; Zürich: Bibliogr. Inst., 19XX-

Published in: B.I.-Hochschultaschenbücher ; . ; B.I.-Hochschulskripten
Frutos-Escrig, David de [Author]; Indermark, Klaus [Author]

Equivalence relations of non-deterministic Ianov-schemes

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH Aachen, Fachgruppe Informatik, 1987

Published in: Aachener Informatik-Berichte ; 87,2
Indermark, Klaus [Other]

Abstracts of the talks at the Fourth International Workshop on the Semantics of Programming Languages in Bad Honnef : March 14-18, 1983

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013

Published in: Bericht ; 1983,7
Indermark, Klaus [Other]

Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef : March 19-23, 1979

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

Published in: Bericht ; 1979,10
Goerdt, Andreas [Author] ; Indermark, Klaus [Honoree] Technische Universität Chemnitz Fakultät für Informatik

Higher type recursive program schemes and the nested pushdown automaton : on the occasion of the retirement of Prof. Dr. Klaus Indermark, RWTH Aachen

View online
Schließen

Access

https://edocs.tib.eu/files/e01fn19/1671043219.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Chemnitz]: [Technische Universität Chemnitz, Fakultät für Informatik], [November 2005]

Published in: Chemnitzer Informatik-Berichte ; 2005,04
Indermark, Klaus [Other]

Kolloquium Programmiersprachen und Grundlagen der Programmierung

View online
Schließen

Access

https://edocs.tib.eu/files/e01fn09/501016546.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, 2001

Published in: Aachener Informatik-Berichte ; 2001,11
Böhling, Karl-Heinz [Author] ; Indermark, Klaus [Other]

1. Fachtagung über Automatentheorie und Formale Sprachen : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1973

Published in: Lecture notes in computer science ; 2
Indermark, Klaus [Other]; Noll, Thomas [Other]

Algebraic correctness proofs for compiling recursive function definitions with strictness information

View online
Schließen

Access

https://edocs.tib.eu/files/e01fn09/500918147.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, 2004

Published in: Aachener Informatik-Berichte ; 2004,8
Indermark, Klaus [Contributor]; Loeckx, Jacques [Contributor]

Abstracts of the talks at the Fourth International Workshop on the Semantics of Programming Languages in Bad Honnef : March 14-18, 1983

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-51176

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 1983
Indermark, Klaus [Contributor]; Loeckx, Jacques [Contributor]

Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef : March 19-23, 1979

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-40243

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 1979
Apt, Krzysztof [Author]; Indermark, Klaus [Author]

Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, 2021
Apt, Krzysztof [Contributor]; Indermark, Klaus [Contributor]; Loeckx, Jacques [Contributor]

Report on the 5th International Workshop on the Semantics of Programming Languages in Bad Honnef : March 11-15, 1985

View online
Schließen

Links

http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-51203

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Scientific publications of the Saarland University (UdS), 1985

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication