Search Results - "Mathematical logic"

121

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

122

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

123

Transactions on Petri Nets and Other Models of Concurrency III

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

124

Using Event-B for Critical Device Software Systems

by Singh, Neeraj Kumar.
Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

125

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

126

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

127

Algorithmic Composition Paradigms of Automated Music Generation /

by Nierhaus, Gerhard.
Published 2009

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

128

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

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

129

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /

by Platzer, Andr.̌
Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

130

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

131

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

132

The P=NP Question and Gd̲el<U+0019>s Lost Letter

by Lipton, Richard J.
Published 2010

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

133

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

134

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

135

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

136

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

by Solojentsev, Evgueni D.
Published 2009

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

137

Discrete, Continuous, and Hybrid Petri Nets

by David, Ren.̌, Alla, Hassane.
Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

138

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

139

ECOOP 2013 Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

140

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

Narrow Search