Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It i

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA i

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and

A Sobolev gradient of a real-valued functional is a gradient of that functional taken relative to the underlying Sobolev norm. This book shows how descent metho

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple