Computer science logic
Subtitle: 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings
By: Anuj Dawar, Helmut Veith (eds.).
Contributors: Dawar, Anuj; Veith, Helmut
Series: Lecture notes in computer science -- 6247; Advanced research in computing and software science; LNCS sublibrary: SL 1 -- Theoretical computer science and general issues; Lecture notes in computer science -- 6247.; Lecture notes in computer science; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 546
ISBN-13: 9783642152047
Subjects: Computer logic; Congresses; Computational logic; Logik; Theoretische Informatik; Logische Programmierung; Programmierlogik
Notes: International conference proceedings.

Includes bibliographical references and index.