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.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United N...
by
Aichernig, Bernhard K
Published 2003
Springer Berlin Heidelberg
Read Now
2
Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
by
Wirsing, Martin
Published 2003
Springer Berlin Heidelberg
Read Now
3
Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings
by
Bry, Francois
Published 2003
Springer Berlin Heidelberg
Read Now
4
The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic
by
Dau, Frithjof
Published 2003
Springer Berlin Heidelberg
Read Now
5
Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
by
Palamidessi, Catuscia
Published 2003
Springer Berlin Heidelberg
Read Now
6
AI 2003: Advances in Artificial Intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings
by
Gedeon, Tamas D
Published 2003
Springer Berlin Heidelberg
Read Now
7
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
by
Pandya, Paritosh K
Published 2003
Springer Berlin Heidelberg
Read Now
8
Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
by
Winkler, Franz
Published 2004
Springer Berlin Heidelberg
Read Now
9
Algorithmic Learning Theory : 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings
by
Cesa-Bianchi, Nicolò
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
10
AI 2002: Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2–6, 2002 Proceedings
by
McKay, Bob
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
11
Concurrency and Hardware Design : Advances in Petri Nets
by
Cortadella, Jordi
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
12
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings
by
Agrawal, Manindra
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
13
Natural Language Processing and Information Systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002 Stockholm, Sweden, June 27–...
by
Andersson, Birger
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
14
Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revi...
by
Swart, Harrie C M
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
15
Database Theory — ICDT 2003 : 9th International Conference Siena, Italy, January 8–10, 2003 Proceedings
by
Calvanese, Diego
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
16
Implementation and Application of Automata : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers
by
Watson, Bruce W
Published 2002
Springer-Verlag Berlin Heidelberg
Read Now
17
Logics in Artificial Intelligence : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
by
Ojeda-Aciego, Manuel
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
18
Analysis and Visualization Tools for Constraint Programming : Constraint Debugging
by
Deransart, Pierre
Published 2000
Springer Berlin Heidelberg
Read Now
19
Learning Language in Logic
by
Cussens, James
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
20
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
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...