Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Show other versions (1)

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Qin, Shengchao (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:	Lecture Notes in Computer Science, 6445
Subjects:	Computer science. Computer programming. Software engineering. Programming languages (Electronic computers). Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Programming Techniques. Logics and Meanings of Programs. Software Engineering. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics).
Online Access:	Full Text via HEAL-Link

Similar Items

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Published: (2010)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
by: Qin, Shengchao
Published: (2010)

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
Published: (2016)

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
Published: (2015)

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Published: (2012)

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Published: (2011)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Published: (2010)

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Published: (2010)

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
Published: (2016)

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Published: (2014)

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Published: (2012)

Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development /
Published: (2004)

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Published: (2013)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published: (2013)

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings /
Published: (2007)

Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings /
Published: (2003)

Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
Published: (2004)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Published: (2006)

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /
Published: (2005)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings /
Published: (2007)

Deductive Software Verification – The KeY Book From Theory to Practice /
Published: (2016)

Compiler Construction 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
Published: (2004)

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Published: (2005)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
Published: (2008)

Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Published: (2017)

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Published: (2012)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Published: (2007)

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
Published: (2010)

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
Published: (2015)

Software Engineering for Collective Autonomic Systems The ASCENS Approach /
Published: (2015)

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers /
Published: (2016)

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Published: (2016)

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
Published: (2016)

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
Published: (2016)

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Published: (2017)

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
Published: (2011)

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings /
Published: (2011)

Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings /
Published: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_ufki1sppu02r56spbkqhmd6hre