MPG.eBooks - Search Results - "mathematical logic and formal language"

181

Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of So...

by Thomas, Wolfgang
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

182

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United N...

by Aichernig, Bernhard K
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

183

Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Walukiewicz, Igor
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

184

Theoretische Informatik : Eine umfassende Einführung

by Erk, Katrin, Priese, Lutz
Published 2000

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

185

Theoretische Informatik : Eine umfassende Einführung

by Erk, Katrin, Priese, Lutz
Published 2008

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

186

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

by Abramsky, Samson
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

187

Principles and Practice of Constraint Programming – CP 2000 : 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings

by Dechter, Rina
Published 2000

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

188

Logic Programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings

by Stuckey, Peter J
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

189

Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings

by Demoen, Bart
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

190

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

by Slind, Konrad
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

191

Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

by Schmid, Ute
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

192

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

by Basin, David
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

193

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

by Baaz, Matthias
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

194

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings

by Kapoor, Sanjiv
Published 2000

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

195

Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

by Ibarra, Oscar H
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

196

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

by Boulton, Richard J
Published 2001

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

197

Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

by Bradfield, Julian
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

198

Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

by Vardi, Moshe
Published 2003

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

199

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

200

Grammatical Inference: Algorithms and Applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings

by Oliveira, Arlindo L
Published 2000

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Narrow Search