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

141

Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

by Geuvers, Herman
Published 2003

Springer-Verlag Berlin Heidelberg

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

Read Now

142

Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

by Giacobazzi, Roberto
Published 2004

Springer Berlin Heidelberg

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

Read Now

143

Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001...

by Sands, David
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

144

Learning Theory and Kernel Machines : 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLTKernel 2003, Washington, DC, USA, August 24-27, 2003, Pro...

by Schölkopf, Bernhard
Published 2003

Springer Berlin Heidelberg

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

Read Now

145

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by Cialdea Mayer, Marta
Published 2003

Springer Berlin Heidelberg

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

Read Now

146

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

by Baader, Franz
Published 2003

Springer Berlin Heidelberg

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

Read Now

147

Computational Learning Theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001 Amste...

by Helmbold, David
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

148

Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings

by Taha, Walid
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

149

Learning Theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings

by Shawe-Taylor, John
Published 2004

Springer Berlin Heidelberg

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

Read Now

150

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

by Basin, David
Published 2004

Springer Berlin Heidelberg

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

Read Now

151

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

by Nieuwenhuis, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

152

Types for Proofs and Programs : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

by Callaghan, Paul
Published 2002

Springer-Verlag Berlin Heidelberg

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

Read Now

153

Static Analysis : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

by Hermenegildo, Manuel V
Published 2002

Springer-Verlag Berlin Heidelberg

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

Read Now

154

Algebraic and Logic Programming : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

by Hanus, Michael
Published 1997

Springer Berlin Heidelberg

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

Read Now

155

Static Analysis : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings

by Hentenryck, Pascal van
Published 1997

Springer Berlin Heidelberg

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

Read Now

156

Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lis...

by Hankin, Chris
Published 1998

Springer Berlin Heidelberg

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

Read Now

157

Rough Sets and Current Trends in Computing : First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings

by Polkowski, Lech
Published 1998

Springer-Verlag Berlin Heidelberg

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

Read Now

158

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

by Hutter, Dieter
Published 1999

Springer Berlin Heidelberg

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

Read Now

159

Types for Proofs and Programs : International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

by Altenkirch, Thorsten
Published 1999

Springer-Verlag Berlin Heidelberg

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

Read Now

160

Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings

by Rus, Teodor
Published 2000

Springer-Verlag Berlin Heidelberg

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

Narrow Search