Computer science logic: 9th international workshop, csl '95, annual conference of the eacsl paderborn, germany, september 22-29, 1995. selected papers: 9th international workshop: csi '95, annual conference of the eacsl, paderborn, germany, september 22-29 1995 - selected papers
Auteur :
Buening, Hans Kleine
ISBN :
9783540613770
Date de publication :
5 juin 1996
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
1540 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The 27 papers in this volume cover topics including temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, and formal languages.