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
41
-
60
of
371
Search:
''
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
by
Wang, Dongming
Published 1997
Springer Berlin Heidelberg
Read Now
42
Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...
by
Nivat, Maurice
Published 1998
Springer Berlin Heidelberg
Read Now
43
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
by
Nipkow, Tobias
Published 1998
Springer Berlin Heidelberg
Read Now
44
Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lis...
by
Hankin, Chris
Published 1998
Springer Berlin Heidelberg
Read Now
45
Compiler Construction : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Mar...
by
Koskimies, Kai
Published 1998
Springer Berlin Heidelberg
Read Now
46
Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002...
by
Métayer, Daniel
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
47
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
Read Now
48
Compiler Construction : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April...
by
Horspool, R Nigel
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
49
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
by
Nipkow, Tobias
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
50
Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings
by
Armando, Alessandro
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
51
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers
by
Kuich, Werner
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
52
MICAI 2002: Advances in Artificial Intelligence : Second Mexican International Conference on Artificial Intelligence Mérida, Yucatán, Mexico, April 22–26, 2002 Proceedings
by
Coello Coello, Carlos A
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
53
Developments in Language Theory : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
by
Ito, Masami
Published 2003
Springer Berlin Heidelberg
Read Now
54
Case-Based Reasoning Research and Development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings
by
Ashley, Kevin D
Published 2003
Springer Berlin Heidelberg
Read Now
55
Developments in Applied Artificial Intelligence : 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEAAIE 2002...
by
Hendtlass, Tim
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
56
Advances in Natural Language Processing : Third International Conference, PorTAL 2002 Faro, Portugal, June 23–26, 2002 Proceedings
by
Ranchhod, Elisabete
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
57
Computational Learning Theory : 15th Annual Conference on Computational Learning Theory, COLT 2002 Sydney, Australia, July 8–10, 2002 Proceedings
by
Kivinen, Jyrki
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
58
Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
by
Gimenez, Eduardo
Published 1998
Springer Berlin Heidelberg
Read Now
59
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings...
by
Calmet, Jacques
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
60
Conceptual Modeling - ER '98 : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings
by
Ling, Tok Wang
Published 1998
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=3&filter%5B%5D=topic_facet%3A%22Mathematical+Logic+and+Formal+Languages%22&type=AllFields
Send by Email
×
Loading...