Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search:
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
Retain my current filters
topic_facet:"Mathematical Logic and Formal Languages"
Showing
1
-
20
of
371
Search:
''
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
by
Dershowitz, Nachum
Published 2004
Springer Berlin Heidelberg
Read Now
2
Computational Linguistics and Intelligent Text Processing : 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings
by
Gelbukh, Alexander
Published 2004
Springer Berlin Heidelberg
Read Now
3
Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
by
Eklund, Peter
Published 2004
Springer Berlin Heidelberg
Read Now
4
Model Generation for Natural Language Interpretation and Analysis
by
Konrad, Karsten
Published 2004
Springer Berlin Heidelberg
Read Now
5
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings
by
Kapoor, Sanjiv
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
6
Advances in Computing Science — ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings
by
Jifeng, He
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
7
Database Theory — ICDT 2001 : 8th International Conference London, UK, January 4–6, 2001 Proceedings
by
Bussche, Jan
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
8
Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...
by
Pfaltz, John L
Published 2004
Springer Berlin Heidelberg
Read Now
9
Artificial Intelligence and Soft Computing -- ICAISC 2004 : 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings
by
Rutkowski, Leszek
Published 2004
Springer Berlin Heidelberg
Read Now
10
Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...
by
Berghammer, R
Published 2004
Springer Berlin Heidelberg
Read Now
11
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development
by
Bruynooghe, Maurice
Published 2004
Springer Berlin Heidelberg
Read Now
12
Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
by
Oostrom, Vincent van
Published 2004
Springer Berlin Heidelberg
Read Now
13
Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
by
Berardi, Stefano
Published 2004
Springer Berlin Heidelberg
Read Now
14
Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings
by
Danvy, Olivier
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
15
Current Topics in Artificial Intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 200...
by
Conejo, Ricardo
Published 2004
Springer Berlin Heidelberg
Read Now
16
Logical Aspects of Computational Linguistics : Third International Conference, LACL’98 Grenoble, France, December 14–16, 1998 Selected Papers
by
Moortgat, Michael
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
17
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings
by
Colom, José-Manuel
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
18
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
by
Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
19
Natural Language Generation : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings
by
Belz, Anja
Published 2004
Springer Berlin Heidelberg
Read Now
20
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
by
Alur, Rajeev
Published 2004
Springer Berlin Heidelberg
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Other: Mathematical Logic and Formal Languages
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
371
Collection
Lecture Notes in Computer Science
371
Author
Rozenberg, Grzegorz
8
Salomaa, Arto
5
Skowron, Andrzej
5
Voronkov, Andrei
5
Bowen, Jonathan P
4
Gelbukh, Alexander
4
more ...
Buchberger, Bruno
3
Comon, Hubert
3
Dix, Jürgen
3
Ehrig, Hartmut
3
Hinchey, Michael G
3
Kakas, Antonis C
3
Ling, Tok Wang
3
Nipkow, Tobias
3
Paun, Gheorghe
3
Reusch, Bernd
3
Rossi, Francesca
3
Stolzmann, Wolfgang
3
Wang, Dongming
3
Wilson, Stewart W
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
Bruynooghe, Maurice
2
Calmet, Jacques
2
Campbell, John A
2
Champarnaud, Jean-Marc
2
Corbett, Dan
2
Delugach, Harry S
2
Elomaa, Tapio
2
Esposito, Floriana
2
Furbach, Ulrich
2
Gamberger, Dragan
2
Ganter, Bernhard
2
Ganzinger, Harald
2
Giannotti, Fosca
2
Glaser, Hugh
2
Gottlob, Georg
2
Grzymala-Busse, Jerzy W
2
Hu, Alan J
2
Hunter, Anthony
2
Karhumäki, Juhani
2
Kirchner, Helene
2
Komorowski, Jan
2
Kropf, Thomas
2
Lanzi, Pier Luca
2
Lau, Kung-Kiu
2
Lavrac, Nada
2
Leitsch, Alexander
2
Liddle, Stephen W
2
Lifschitz, Vladimir
2
Mamede, Nuno J
2
Mannila, Heikki
2
Maruoka, Akira
2
Maurel, Denis
2
McAllester, David
2
Meinke, Karl
2
Moniz Pereira, Luis
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
Smolka, Gert
2
Sucar, Luis Enrique
2
Taha, Walid
2
Thomas, Wolfgang
2
Todorovski, Ljupco
2
Toivonen, Hannu
2
Walsh, Toby
2
Yao, Yiyu
2
Yu, Sheng
2
Zeugmann, Thomas
2
Zhong, Ning
2
Aagaard, Mark
1
Aagaard, Mark D
1
Abadi, Martin
1
Abe, Naoki
1
Abramsky, Samson
1
Adian, Sergei
1
Adriaans, Pieter
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=topic_facet%3A%22Mathematical+Logic+and+Formal+Languages%22&type=AllFields
Send by Email
×
Loading...