Search Results - "Logics and Meanings of Programs."

101

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /

Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

102

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

103

Theory and Applications of Satisfiability Testing SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

104

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /

Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

105

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
View fulltext via EzAccess

Electronic

106

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

107

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

108

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

109

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

110

Computer Science Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

111

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

112

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

113

Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

114

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

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

115

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

116

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

117

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

118

ECOOP 2009 Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

119

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

120

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

Narrow Search