Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Mathematical Logic And 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
:
mathematical »
mathematics
languages »
language
Showing
141
-
160
of
466
Search:
'"Mathematical Logic And Formal Languages"'
,
query time: 0.65s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
by
Pettorossi, Alberto
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
142
Automata Implementation : Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers
by
Champarnaud, Jean-Marc
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
143
Membrane Computing : International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers
by
PĂun, Gheorghe
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
144
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
by
Dong, Jin Song
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
145
Learning Classifier Systems : 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers
by
Lanzi, Pier Luca
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
146
Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings
by
Danvy, Olivier
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
147
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
by
Lau, Kung-Kiu
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
148
Typed Lambda Calculi and Applications : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
by
Girard, Jean-Yves
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
149
Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers
by
Flener, Pierre
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
150
Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers
by
Cerioli, Maura
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
151
Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Sof...
by
Nielsen, Mogens
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
152
Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
by
Ganzinger, Harald
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
153
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
by
Boer, Frank S de
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
154
Advances in Artificial Intelligence - SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004, Proceedings
by
Bazzan, Ana L C
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
155
Computation for Metaphors, Analogy, and Agents
by
Nehaniv, Chrystopher L
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
156
Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
by
Halbwachs, Nicolas
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
157
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
by
Backhouse, Roland
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
158
Compiler Construction : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 2...
by
Watt, David A
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
159
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers
by
Bossi, Annalisa
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
Read Now
160
Regulated Grammars and Automata
by
Meduna, Alexander
,
Zemek, Petr
Published 2014
Springer New York
Subjects:
“
...
Mathematical
Logic
and
Formal
Languages
...
”
3
4
5
6
7
8
9
10
11
12
13
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
380
005 - Computer programming, programs & data
42
511 - General principles of mathematics
17
006 - Special computer methods
12
510 - Mathematics
6
160 - Logic
3
more ...
512 - Algebra
3
025 - Library operations
2
620 - Engineering & allied operations
2
331 - Labor economics
1
500 - Natural sciences & mathematics
1
629 - Other branches of engineering
1
see all ...
less ...
Language
English
69
German
25
Italian
1
Collection
Lecture Notes in Computer Science
371
Springer Book Archives -2004
57
Springer eBooks 2005-
37
O'Reilly
1
Author
Rozenberg, Grzegorz
9
Salomaa, Arto
5
Skowron, Andrzej
5
Voronkov, Andrei
5
Bowen, Jonathan P
4
Ehrig, Hartmut
4
more ...
Gelbukh, Alexander
4
Lau, Kung-Kiu
4
Paun, Gheorghe
4
Priese, Lutz
4
Bruynooghe, Maurice
3
Buchberger, Bruno
3
Comon, Hubert
3
Dix, Jürgen
3
Erk, Katrin
3
Hinchey, Michael G
3
Hoffmann, Dirk W.
3
Kakas, Antonis C
3
Ling, Tok Wang
3
Nipkow, Tobias
3
Reusch, Bernd
3
Rossi, Francesca
3
Stolzmann, Wolfgang
3
Wang, Dongming
3
Wilson, Stewart W
3
Wirsing, Martin
3
Wood, Derick
3
Ali, Moonis
2
Apt, Krzysztof R
2
Baaz, Matthias
2
Backhouse, Roland
2
Basin, David
2
Bert, Didier
2
Blockeel, Hendrik
2
Boulicaut, Jean-Francois
2
Bouquet, Paolo
2
Börger, Egon
2
Calmet, Jacques
2
Campbell, John A
2
Champarnaud, Jean-Marc
2
Corbett, Dan
2
Cortadella, Jordi
2
Delugach, Harry S
2
Dong, Jin Song
2
Elomaa, Tapio
2
Esposito, Floriana
2
Farwell, David
2
Furbach, Ulrich
2
Gamberger, Dragan
2
Ganter, Bernhard
2
Ganzinger, Harald
2
Gerber, Laurie
2
Giannotti, Fosca
2
Glaser, Hugh
2
Gottlob, Georg
2
Grzymala-Busse, Jerzy W
2
Hovy, Eduard
2
Hu, Alan J
2
Hunter, Anthony
2
Karhumäki, Juhani
2
Kim, Phil
2
Kirchner, Helene
2
Komorowski, Jan
2
Kozen, Dexter
2
Kropf, Thomas
2
Kurt-Gödel-Gesellschaft
2
Lanzi, Pier Luca
2
Lavrac, Nada
2
Leitsch, Alexander
2
Liddle, Stephen W
2
Lifschitz, Vladimir
2
Maibaum, Tom
2
Mamede, Nuno J
2
Mannila, Heikki
2
Maruoka, Akira
2
Maurel, Denis
2
McAllester, David
2
Meduna, Alexander
2
Meinke, Karl
2
Moniz Pereira, Luis
2
Mundici, Daniele
2
Möller, Bernhard
2
Nagl, Manfred
2
Nerode, Anil
2
Nielsen, Mogens
2
Ohlbach, Hans J
2
Palamidessi, Catuscia
2
Paliouras, Georgios
2
Parsons, Simon
2
Pedreschi, Dino
2
Perner, Petra
2
Peters, James F
2
Przymusinski, Teodor C
2
PĂun, Gheorghe
2
Ralescu, Anca L
2
Ringeissen, Christophe
2
Rusinowitch, Michael
2
Sadri, Fariba
2
Schmid, Ute
2
Shankland, Carron
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=8&lookfor=%22Mathematical+Logic+And+Formal+Languages%22&type=Subject
Send by Email
×
Loading...