Chargement en cours…

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings /

This book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. Presented in this volume are 12 carefully selected papers, as well as the paper of the invited speaker Andreas Maletti. The papers cover such diverse topics...

Description complète

Détails bibliographiques
Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Kanazawa, Makoto (Éditeur intellectuel), Kracht, Marcus (Éditeur intellectuel), Seki, Hiroyuki (Éditeur intellectuel), Kornai, András (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Édition:	1st ed. 2011.
Collection:	Lecture Notes in Artificial Intelligence, 6878
Sujets:	Machine theory. Computer science-Mathematics. Computer science. Mathematical logic. Formal Languages and Automata Theory. Symbolic and Algebraic Manipulation. Computer Science Logic and Foundations of Programming. Theory of Computation. Mathematics of Computing. Mathematical Logic and Foundations.
Accès en ligne:	Texto Completo

Documents similaires

Chargement en cours…

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Publié: (2013)

Chargement en cours…

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Publié: (2011)

Chargement en cours…

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Publié: (2011)

Chargement en cours…

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Publié: (2015)

Chargement en cours…

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publié: (2014)

Chargement en cours…

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings /
Publié: (2013)

Chargement en cours…

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Publié: (2009)

Chargement en cours…

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Publié: (2009)

Chargement en cours…

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings /
Publié: (2007)

Chargement en cours…

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings /
Publié: (2006)

Chargement en cours…

Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings /
Publié: (2011)

Chargement en cours…

Algorithms in Invariant Theory
par: Sturmfels, Bernd
Publié: (2008)

Chargement en cours…

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
Publié: (2016)

Chargement en cours…

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Publié: (2016)

Chargement en cours…

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
Publié: (2005)

Chargement en cours…

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers /
Publié: (2008)

Chargement en cours…

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings /
Publié: (2012)

Chargement en cours…

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
Publié: (2015)

Chargement en cours…

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /
Publié: (2011)

Chargement en cours…

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Publié: (2009)

Chargement en cours…

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings /
Publié: (2014)

Chargement en cours…

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Publié: (2005)

Chargement en cours…

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Publié: (2013)

Chargement en cours…

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
par: Kaiser, Lukasz
Publié: (2011)

Chargement en cours…

Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
par: Doberkat, Ernst-Erich
Publié: (2015)

Chargement en cours…

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings /
Publié: (2011)

Chargement en cours…

Mathematical Logic Foundations for Information Science /
par: Li, Wei
Publié: (2010)

Chargement en cours…

Mathematical Logic Foundations for Information Science /
par: Li, Wei
Publié: (2014)

Chargement en cours…

Logic, Language, Information, and Computation
Publié: (2012)

Chargement en cours…

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /
Publié: (2005)

Chargement en cours…

Mathematical Logic for Computer Science
par: Ben-Ari, Mordechai
Publié: (2012)

Chargement en cours…

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
Publié: (2016)

Chargement en cours…

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings /
Publié: (2009)

Chargement en cours…

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
Publié: (2005)

Chargement en cours…

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Publié: (2014)

Cannot write session to /tmp/vufind_sessions/sess_na0v4q1e1mvr58htj6d3eriqem