This book deals with the integration of logic programming and databases to generate new
types of systems, which extend the frontiers of computer science in an important direction …

This new edition of Introduction to Lattices and Order presents a radical reorganization and
updating, though its primary aim is unchanged. The explosive development of theoretical …

In the two and a half years since the frrst edition of this book was published, the field of logic
programming has grown rapidly. Consequently, it seemed advisable to try to expand the …

In the past two decades, model-checking has emerged as a promising and powerful
approach to fully automatic verification of hardware systems. But model checking technology …

This text is based on the chapter Domain Theory in the Handbook for Logic in Computer
Science, volume 3, edited by S. Abramsky, Dov M. Gabbay, and TS E. Maibaum, published …

Large scale image search has recently attracted considerable attention due to easy
availability of huge amounts of data. Several hashing methods have been proposed to allow …

The study of graph structure has advanced in recent years with great strides: finite graphs
can be described algebraically, enabling them to be constructed out of more basic elements …

A uniform treatment of specifications, programs, and programming is presented. The
treatment is based on adding a specification statement to a given procedural language and …

The field of discrete event systems has emerged to provide a formal treatment of many of the
man-made systems such as manufacturing systems, communica tion networks. automated …

The origins of bisimulation and bisimilarity are examined, in the three fields where they have
been independently discovered: Computer Science, Philosophical Logic (precisely, Modal …