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
product_txtF_mv:"Lecture Notes in Computer Science"
topic_facet:"Mathematical Logic and Formal Languages"
Showing
1
-
20
of
371
Search:
''
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
by
Lifschitz, Vladimir
Published 2004
Springer Berlin Heidelberg
Read Now
2
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
3
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
by
Giunchiglia, Enrico
Published 2004
Springer Berlin Heidelberg
Read Now
4
Membrane Computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
by
Martín-Vide, Carlos
Published 2004
Springer Berlin Heidelberg
Read Now
5
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
6
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
7
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
8
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
9
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
by
Zimmermann, Wolf
Published 2004
Springer Berlin Heidelberg
Read Now
10
Deontic Logic in Computer Science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
by
Lomuscio, Alessio
Published 2004
Springer Berlin Heidelberg
Read Now
11
Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
by
Comon, Hubert
Published 2001
Springer Berlin Heidelberg
Read Now
12
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings
by
Abramsky, Samson
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
13
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
14
Rewriting Techniques and Applications : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
by
Middeldorp, Aart
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
15
Machines, Computations, and Universality : Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings
by
Margenstern, Maurice
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
16
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
by
Lau, Kung-Kiu
Published 2001
Springer-Verlag 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
Engineering of Intelligent Systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEAAIE 2001 Budapest, H...
by
Monostori, László
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
19
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
20
Algorithmic Learning Theory : 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings
by
Li, Ming
Published 1997
Springer Berlin Heidelberg
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Lecture Notes in Computer Science
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
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=product_txtF_mv%3A%22Lecture+Notes+in+Computer+Science%22&filter%5B%5D=topic_facet%3A%22Mathematical+Logic+and+Formal+Languages%22&type=AllFields
Send by Email
×
Loading...