Search Results - "Mathematical logic"

201

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /

Published 2010

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

Electronic

202

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Published 2010

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

Electronic

203

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /

Published 2010

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

Electronic

204

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

Published 2010

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

Electronic

205

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /

Published 2010

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

Electronic

206

Tests and Proofs 4th International Conference, TAP 2010, Ml̀aga, Spain, July 1-2, 2010. Proceedings /

Published 2010

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

Electronic

207

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Published 2010

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

Electronic

208

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

Published 2010

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

Electronic

209

Automated Deduction CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Published 2013

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

Electronic

210

A Course in Formal Languages, Automata and Groups

by Chiswell, Ian M.
Published 2009

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

Electronic

211

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings /

Published 2013

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

Electronic

212

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /

Published 2013

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

Electronic

213

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /

Published 2013

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

Electronic

214

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Published 2013

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

Electronic

215

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers /

Published 2013

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

Electronic

216

Transactions on Rough Sets XVI

Published 2013

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

Electronic

217

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

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

Electronic

218

Cryptology and Network Security 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings /

Published 2009

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

Electronic

219

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /

Published 2009

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

Electronic

220

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /

Published 2009

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

Electronic

Narrow Search