Cargando…

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

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Höfner, Peter (Editor ), Jipsen, Peter (Editor ), Kahl, Wolfram (Editor ), Müller, Martin Eric (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:	1st ed. 2014.
Colección:	Theoretical Computer Science and General Issues, 8428
Temas:	Machine theory. Computer science-Mathematics. Computer science. Software engineering. Artificial intelligence. Discrete mathematics. Formal Languages and Automata Theory. Symbolic and Algebraic Manipulation. Computer Science Logic and Foundations of Programming. Software Engineering. Artificial Intelligence. Discrete Mathematics in Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

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

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

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
Publicado: (2015)

Algorithms in Invariant Theory
por: Sturmfels, Bernd
Publicado: (2008)

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

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
Publicado: (2014)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Publicado: (2015)

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings /
Publicado: (2012)

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
Publicado: (2015)

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings /
Publicado: (2008)

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings /
Publicado: (2006)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers /
Publicado: (2011)

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Publicado: (2013)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Publicado: (2015)

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Publicado: (2014)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Publicado: (2016)

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 /
Publicado: (2014)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Publicado: (2015)

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings /
Publicado: (2012)

Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings /
Publicado: (2013)

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

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
Publicado: (2011)

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

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings /
Publicado: (2014)

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings /
Publicado: (2014)

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity /
por: Skrzypczak, Michał
Publicado: (2016)

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
Publicado: (2015)

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Publicado: (2013)

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Publicado: (2014)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Publicado: (2013)

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
Publicado: (2015)

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
Publicado: (2013)

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
Publicado: (2012)

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

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

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

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_o6pi65pl8jar4lo3kr0sv8i2t3