Computer science logic: 8th workshop, csl '94, kazimierz, poland, september 25 - 30, 1994, selected papers: 8th workshop: csl '94, kazimierz, september 25-30, 1994 - selected papers
Auteur :
Pacholski, Leszek
ISBN :
9783540600176
Date de publication :
18 juil. 1995
Dimensions :
23,3 x 15,5 x 2,9 cm
Poids :
786 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume contains revised versions of papers presented during the CSL `94 conference. Some aspects of the methods of mathematical logic in computer science covered include: lambda calculus, proof theory, finite model theory, logic programming, semantics and other logical systems.