Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed a...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	SpringerLink (Online service)
Altri autori:	Norrish, Michael (Redattore)
Natura:	eBook
Lingua:	English
Pubblicazione:	Cham Springer International Publishing Imprint: Springer, 2013.
Serie:	Lecture Notes in Computer Science, 8307
Soggetti:	Computer science. Logic design. Algebra > Data processing. Artificial intelligence.
Accesso online:	Click here to view the full text content
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi

Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Pubblicazione: (2007)

Proof theory for fuzzy logics
di: Metcalfe, George
Pubblicazione: (2009)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Pubblicazione: (2005)

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
Pubblicazione: (2013)

Formal grammar : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings /
Pubblicazione: (2013)

Programming languages and systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
Pubblicazione: (2013)

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
di: Cellier, Peggy
Pubblicazione: (2013)

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Pubblicazione: (2013)

Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Pubblicazione: (2009)

Intelligent computer mathematics : 11th International conference, AISC 2012, 19th symposium, calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings /
Pubblicazione: (2012)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Pubblicazione: (2012)

Logics in artificial intelligence 12th european conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings /
Pubblicazione: (2010)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Pubblicazione: (2013)

Artificial intelligence and symbolic computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Pubblicazione: (2014)

Language and Automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
Pubblicazione: (2013)

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Pubblicazione: (2008)

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Pubblicazione: (2009)

Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
Pubblicazione: (2014)

Logic, language and meaning 17th amsterdam colloquium, amsterdam, the netherlands, December 16-18, 2009, revised selected papers /
Pubblicazione: (2010)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Pubblicazione: (2013)

Fuzzy computational ontologies in contexts : formal models of knowledge representation with membership degree and typicality of objects, and their applications /
di: Cai, Yi
Pubblicazione: (2012)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Pubblicazione: (2008)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Pubblicazione: (2013)

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
Pubblicazione: (2012)

Proofs of the cantor-bernstein theorem : a mathematical excursion /
di: Hinkis, Arie
Pubblicazione: (2013)

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
Pubblicazione: (2010)

Problems and proofs in numbers and algebra /
di: Millman, Richard S., et al.
Pubblicazione: (2015)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Pubblicazione: (2013)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
di: Beringer, Lennart
Pubblicazione: (2012)

Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
Pubblicazione: (2013)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Pubblicazione: (2012)

Adapting proofs-as-programs the curry-howard protocol /
di: Poernomo, Iman Hafiz
Pubblicazione: (2005)

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

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Pubblicazione: (2012)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Pubblicazione: (2013)

Belief-based stability in coalition formation with uncertainty : an intelligent agents' perspective /
di: Chan, Chi-kong, et al.
Pubblicazione: (2013)

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
Pubblicazione: (2013)