Product Description: The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains selected, edited papers from the second installment of the workshop...read more (view table of contents, read Amazon.com's description)

Product Description: Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics...read more (view table of contents, read Amazon.com's description)

Product Description: The papers in this book apply mathematical and logical methods to the description of linguistic structures. Such descriptions are useful for a variety of purposes. For example, they make it easier to design and debug software for dealing with human languages...read more

Product Description: Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems...read more

Product Description: Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems...read more

Product Description: Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory...read more