Cargando…

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings /

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefu...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Berghofer, Stefan (Editor ), Nipkow, Tobias (Editor ), Urban, Christian (Editor ), Wenzel, Makarius (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:	1st ed. 2009.
Colección:	Theoretical Computer Science and General Issues, 5674
Temas:	Computer science. Machine theory. Computer science-Mathematics. Discrete mathematics. Algorithms. Theory of Computation. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Mathematics of Computing. Discrete Mathematics in Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
Publicado: (2009)

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Publicado: (2012)

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings /
Publicado: (2011)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings /
Publicado: (2009)

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

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /
Publicado: (2013)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Publicado: (2015)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings /
Publicado: (2014)

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers /
Publicado: (2014)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /
Publicado: (2010)

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings /
Publicado: (2011)

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings /
Publicado: (2010)

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings /
Publicado: (2012)

Modelling Computing Systems Mathematics for Computer Science /
por: Moller, Faron, et al.
Publicado: (2013)

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

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
Publicado: (2014)

Semantics of Probabilistic Processes An Operational Approach /
por: Deng, Yuxin
Publicado: (2014)

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

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

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
Publicado: (2016)

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings /
Publicado: (2009)

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

Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings /
Publicado: (2012)

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings /
Publicado: (2014)

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings /
Publicado: (2013)

Regulated Grammars and Automata
por: Meduna, Alexander, et al.
Publicado: (2014)

Computation, Cooperation, and Life Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday /
Publicado: (2011)

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings /
Publicado: (2006)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /
Publicado: (2005)

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Publicado: (2013)

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings /
Publicado: (2011)

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
Publicado: (2015)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /
Publicado: (2007)

Teoria degli Automi Finiti
por: de Luca, Aldo, et al.
Publicado: (2013)

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
Publicado: (2015)

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
Publicado: (2015)

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings /
Publicado: (2016)

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

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /
Publicado: (2014)

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_8dvsmabs0ht9bs9ko850v0njrg