Skip to contents

Rozenberg, Grzegorz [Editor]

Handbook of formal languages

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1997-
Simovici, Dan A. [Author]; Tenney, Richard L. [Author]

Theory of formal languages with applications

Close

Bookmarks

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

Singapore [u.a.]: World Scientific, 1999
Kühnemann, Armin [Author]; Vogler, Heiko [Author]

A pumping lemma for output languages of attributed tree transducers

Close

Bookmarks

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

Ulm: Univ., Fak. für Informatik, 1994

Published in: Ulmer Informatik-Berichte ; 94,02
Wood, Derick [Author]

Grammar and L forms : an introduction

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1980

Published in: Lecture notes in computer science ; 91
Pin, Jean Éric [Author] ; Howie, A. [Other]

Varieties of formal languages - [Rev. and updated, Engl. ed., 1. publ.]

Close

Bookmarks

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

London: North Oxford Academic, 1986
Penttonen, Martti [Author]

A normal form for context-sensitive grammars

Close

Bookmarks

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

Turku: Turun Yliopisto, 1972

Published in: Turun yliopisto: Turun Yliopiston julkaisuja / A / 1 ; 156
Urponen, Topi [Author]

On axiom systems for regular expressions and on equations involving languages

Close

Bookmarks

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

Turku: Turun Yliopisto, 1971

Published in: Turun yliopisto: Turun Yliopiston julkaisuja / A / 1 ; 145
Bel-Enguix, Gemma [Editor]; Jiménez-López, M. Dolores [Other]; Martín-Vide, Carlos [Other]

New developments in formal languages and applications

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2008

Published in: Studies in computational intelligence ; 113
Dassow, Jürgen [Author]; Păun, Gheorghe [Author]

Regulated rewriting in formal language theory : with 4 tables

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1989

Published in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 18
Ginsburg, Seymour [Author]

Algebraic and automata-theoretic properties of formal languages

Close

Bookmarks

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

Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1975

Published in: Fundamental studies in computer science ; 2
Becker, Heinrich [Author]; Walter, Hermann [Author]

Formale Sprachen : eine Einführung ; Skriptum für Hörer aller Fachrichtungen ab 3. Semester

Close

Bookmarks

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

Braunschweig: Vieweg, 1977

Published in: Uni-Text
Hinkel, Ursula [Author]

Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL

Close

Bookmarks

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

1998
Langholm, Tore [Author]

Partiality, truth, and persistence

Close

Bookmarks

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

Menlo Park, Calif. [u.a.]: Center for the Study of Language and Information, 1988

Published in: Stanford University: CSLI lecture notes ; 15
Prinz, Andreas [Author]

Formal semantics for SDL : definition and implementation

Close

Bookmarks

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

Berlin: Professoren des Inst. für Informatik, 2001

Published in: Informatik-Berichte ; 15500
Taylor, Ralph Gregory [Author]

Models of computation and formal languages

Close

Bookmarks

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

New York; Oxford [u.a.]: Oxford University Press, 1998
Balke, Ludwig [Author]; Böhling, Karl Heinz [Author]

Einführung in die Automatentheorie und Theorie formaler Sprachen

Close

Bookmarks

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

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1993

Published in: Reihe Informatik ; 90
Guessarian, Irène [Author]

Algebraic semantics

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1981

Published in: Lecture notes in computer science ; 99
Walther, Christoph [Author]

Semantik und Programmverifikation - [1. Aufl.]

Close

Bookmarks

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

Stuttgart; Leipzig; Wiesbaden: Teubner, 2001

Published in: Teubner-Texte zur Informatik ; 34
Milner, Robin [Author]

Communication and concurrency - [Nachdr.]

Close

Bookmarks

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

Harlow [u.a.]: Prentice Hall, 1989 [erschienen] 2000

Published in: Prentice Hall international series in computer science
Mazurkiewicz, Antoni [Editor]

Mathematical foundations of computer science

Close

Bookmarks

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

Warszawa: Polish Scientific Publ., 1977

Published in: Międzynarodowe Centrum Matematyczne im. Stefana Banacha: Banach Center publications ; 2

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