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
Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers
by
Swart, Harrie de
Published 2003
Springer Berlin Heidelberg
Read Now
2
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
3
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
4
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
5
Analysis and Visualization Tools for Constraint Programming : Constraint Debugging
by
Deransart, Pierre
Published 2000
Springer Berlin Heidelberg
Read Now
6
Learning Language in Logic
by
Cussens, James
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
7
Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
by
Hunt, Warren A Jr
Published 2000
Springer Berlin Heidelberg
Read Now
8
Algorithmic Learning Theory : 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings
by
Arimura, Hiroki
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
9
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
10
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
11
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
12
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
by
Coquand, Thierry
Published 2000
Springer Berlin Heidelberg
Read Now
13
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
14
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
15
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
16
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
17
Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
by
Bruynooghe, Maurice
Published 2004
Springer Berlin Heidelberg
Read Now
18
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
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...