Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "formal languages"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
"formal languages" »
"formal language"
Showing
1
-
20
of
2,876
Search:
'"formal languages"'
,
query time: 0.16s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Formal languages in logic : a philosophical and cognitive analysis
by
Novaes, Catarina Dutilh
Published 2012
Cambridge University Press
Subjects:
“
...
Formal
languages
...
”
Call Number:
QA267.3
Read Now
2
Automata theory with modern applications
by
Anderson, James A.
,
Head, Thomas J.
Published 2006
Cambridge University Press
Subjects:
“
...
Formal
languages
...
”
Call Number:
QA267
Read Now
3
Formal Languages and Compilation
by
Crespi Reghizzi, Stefano
,
Breveglieri, Luca
,
Morzenti, Angelo
Published 2013
Springer London
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
4
Larch: Languages and Tools for Formal Specification
by
Guttag, John V.
,
Horning, James J.
Published 1993
Springer New York
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
5
6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
Published 1994
Springer London
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
6
Semirings, Automata, Languages
by
Kuich, W.
,
Salomaa, A.
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
7
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
8
Confluent String Rewriting
by
Jantzen, Matthias
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
9
Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
10
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
11
Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
12
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
13
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
14
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions
Published 1985
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
15
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
16
Using Sophisticated Models in Resolution Theorem Proving
by
Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
17
Context-Free Grammars : Covers, Normal Forms, and Parsing
by
Nijholt, A.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
18
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
19
Groups, languages, and automata
by
Holt, Derek F.
,
Rees, Sarah
,
Röver, Claas E.
Published 2017
Cambridge University Press
Subjects:
“
...
Formal
languages
...
”
Call Number:
QA174.2
Read Now
20
Automata
by
Hopkin, David
,
Moss, Barbara
Published 1976
Macmillan Education UK
Subjects:
“
...Mathematical Logic and
Formal
Languages
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
957
005 - Computer programming, programs & data
910
006 - Special computer methods
686
511 - General principles of mathematics
102
518 - Numerical analysis
51
025 - Library operations
35
more ...
003 - Systems
31
160 - Logic
25
510 - Mathematics
14
512 - Algebra
11
621 - Applied physics
10
670 - Manufacturing
9
570 - Life sciences; biology
8
410 - Linguistics
7
629 - Other branches of engineering
6
000 - Computer science, information & general works
4
040 - [Unassigned]
4
400 - Language
4
620 - Engineering & allied operations
4
120 - Epistemology, causation & humankind
3
370 - Education
3
371 - Schools & their activities; special education
3
401 - Philosophy & theory
3
500 - Natural sciences & mathematics
3
519 - Probabilities & applied mathematics
3
100 - Philosophy & psychology
2
380 - Commerce, communications & transportation
2
515 - Analysis
2
516 - Geometry
2
530 - Physics
2
111 - Ontology
1
180 - Ancient, medieval & eastern philosophy
1
301 - Sociology & anthropology
1
303 - Social processes
1
331 - Labor economics
1
407 - Education, research & related topics
1
418 - Standard usage & applied linguistics
1
501 - Philosophy & theory
1
514 - Topology
1
541 - Physical chemistry
1
547 - Organic chemistry
1
576 - Genetics & evolution
1
600 - Technology
1
610 - Medicine & health
1
650 - Management & auxiliary services
1
658 - General management
1
700 - The arts; fine & decorative arts
1
720 - Architecture
1
see all ...
less ...
Language
English
2,443
German
58
Italian
4
Collection
Springer eBooks 2005-
1,645
Springer Book Archives -2004
843
Lecture Notes in Computer Science
371
O'Reilly
6
Cambridge Books Online
3
Elsevier eBook collection Mathematics
3
more ...
Directory of Open Access Books
2
ACS Symposium Series
1
MIT Press eBook Archive
1
OAPEN
1
see all ...
less ...
Author
Rozenberg, Grzegorz
39
Voronkov, Andrei
27
Salomaa, Arto
19
Paun, Gheorghe
17
Ehrig, Hartmut
16
Gelbukh, Alexander
16
more ...
Nerode, Anil
16
Peters, James F.
16
Skowron, Andrzej
14
Martín-Vide, Carlos
13
Nipkow, Tobias
11
Potapov, Igor
11
Rudolph, Sebastian
11
de Queiroz, Ruy
11
Bowen, Jonathan P.
10
Börger, Egon
10
Gabbay, Dov M.
10
Gottlob, Georg
10
Margaria, Tiziana
10
Narukawa, Yasuo
10
Wang, Dongming
10
Perner, Petra
9
Rossi, Francesca
9
Steffen, Bernhard
9
Wirsing, Martin
9
Bouchon-Meunier, Bernadette
8
Karhumäki, Juhani
8
Liu, Shaoying
8
Möller, Bernhard
8
Orlowska, Ewa
8
Zeugmann, Thomas
8
Broy, Manfred
7
Buchberger, Bruno
7
Calude, Cristian S.
7
Comon, Hubert
7
Eiter, Thomas
7
Ganter, Bernhard
7
Kirchner, Helene
7
Kreowski, Hans-Jörg
7
Legay, Axel
7
Li, Wei
7
Liu, Zhiming
7
Meinke, Karl
7
Nagl, Manfred
7
Richter, Michael M.
7
Schlechta, Karl
7
Stolzmann, Wolfgang
7
Ölveczky, Peter Csaba
7
Artemov, Sergei
6
Bruynooghe, Maurice
6
Calmet, Jacques
6
Croitoru, Madalina
6
Dediu, Adrian-Horia
6
Dershowitz, Nachum
6
Dowek, Gilles
6
Engels, Gregor
6
Faber, Wolfgang
6
Furbach, Ulrich
6
Gnesi, Stefania
6
Greco, Salvatore
6
Hameurlain, Abdelkader
6
Hanus, Michael
6
Jouannaud, Jean-Pierre
6
Jäger, Gerhard
6
Kleine Büning, Hans
6
Kuznetsov, Sergei O.
6
Leitsch, Alexander
6
Moniz Pereira, Luis
6
Montanari, Ugo
6
Métais, Elisabeth
6
Ojeda-Aciego, Manuel
6
Olderog, Ernst-Rüdiger
6
Ong, Luke
6
Palamidessi, Catuscia
6
Pogodalla, Sylvain
6
Reusch, Bernd
6
Satoh, Ken
6
Schewe, Klaus-Dieter
6
SpringerLink (Online service)
6
Thalheim, Bernhard
6
Thomas, Wolfgang
6
Truthe, Bianca
6
Wang, Guoyin
6
Wood, Derick
6
Yu, Sheng
6
Ésik, Zoltán
6
Bekki, Daisuke
5
Bernardo, Marco
5
Blackburn, Patrick
5
Blockeel, Hendrik
5
Butler, Michael
5
Champarnaud, Jean-Marc
5
Deransart, Pierre
5
Diekert, Volker
5
Dix, Jürgen
5
Duan, Zhenhua
5
Ebbinghaus, Heinz-Dieter
5
Finkel, Alain
5
Fisher, Michael
5
Fuchs, Norbert E.
5
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22formal+languages%22&type=Subject
Send by Email
×
Loading...