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
101
-
120
of
371
Search:
''
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
MICAI 2004: Advances in Artificial Intelligence : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings
by
Monroy, Raúl
Published 2004
Springer Berlin Heidelberg
Read Now
102
Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...
by
Apt, Krzysztof R
Published 2004
Springer Berlin Heidelberg
Read Now
103
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
by
Oliveira, José Nuno
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
104
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001...
by
Sands, David
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
105
Natural Language Processing and Information Systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28...
by
Bouzeghoub, Mokrane
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
106
Rough Sets and Current Trends in Computing : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings
by
Tsumoto, Shusaku
Published 2004
Springer Berlin Heidelberg
Read Now
107
Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
by
Campbell, John A
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
108
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
109
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
110
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
111
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
112
Types in Compilation : third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers
by
Harper, Robert
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
113
Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
by
Blanck, Jens
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
114
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
115
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
116
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
117
Learning Theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings
by
Shawe-Taylor, John
Published 2004
Springer Berlin Heidelberg
Read Now
118
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
119
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
by
Alur, Rajeev
Published 2004
Springer Berlin Heidelberg
Read Now
120
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
by
Basin, David
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?page=6&filter%5B%5D=topic_facet%3A%22Mathematical+Logic+and+Formal+Languages%22&type=AllFields
Send by Email
×
Loading...