Product Description: This book constitutes the refereed proceedings of the 8th East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions...read more

Product Description: This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998...read more

Product Description: This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers...read more (view table of contents, read Amazon.com's description)

Product Description: These are the proceedings of the third International conference on ExtendingDatabase Technology (EDBT) held in Vienna in March 1992. The success of the 1988 and 1990 conferences held in Venice suggested that there is room for a major international database conference in Europe every two years,to serve as a forum for presentation of new results in research, developmentand applications extending the state of the art in database technology...read more