You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects. This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
Constraints and constraint solving : an introduction / Jean-Pierre Jouannaud / - Constraint solving on terms / Hubert Comon / - Combining constraint solving / Franz Baader / - Constraints and theorem proving / Harald Ganzinger / - Functional and constraint logic programming / Mario Rodríguez-Artalejo / - Building industrial applications with constraint programming / Helmut Simonis.
Handbook of Automated Reasoning.
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%. The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics.
This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic of this annual workshop, lieat the intersection of several important areas of computer science, suchas unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers fromthese different domains may present and discuss results and ideas, thereby supporting interaction and cross-fertilization between theoretical questions and practical applications. The volume collects papers which: - contain new and relevant results, - describe a new approach to a subject, or - give a survey of main developments in an area. Papers cover investigations on free groups, associative unification and Makanin's algorithm to decide the solvability of equations in free semigroups, general unification theory and its relationship to algebra and model theory, Thue systems, and finitely presented groups.
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.
Terpene Synthases, Volume 700 in the Methods in Enzymology series, continues the legacy of this highly respected laboratory standard with its first dedicated collection on this important family of enzymes. Terpene synthases are a diverse set of enzymes that use exquisite mechanisms to form complex (poly)cyclic hydrocarbon skeletons. Chapters in this new volume include Structural analysis by X-ray crystallography and cryo-EM, Understanding mechanisms using stable isotopes, substrate analogs, or computational tools, Engineering fusion enzymes, Ancestral terpene cyclases, as well as the Sequence, structure, and function of non-canonical terpene synthases. - Presents the only collection of current methodology for the investigation of terpene synthases, with topics including from bioinformatics, enzymology, computational chemistry, and engineering - Includes chapters authored by international experts in the field - Provides the latest contributions in the leading serial Methods in Enzymology
Hydrocarbons and their derivatives (oxygenated and chlorinated, in particular), both natural and xenobiotic, represent a very large class of compounds whose conversions and degradation by microorganisms cover an extremely rich field, whose concepts are detailed in this book. The fascinating evolution of these concepts over the last twenty years has revealed the extent of the processes implemented in the environment and has multiplied their industrial applications. The resulting achievements and the current developments are described in this book.The English edition of this reference manual is an entirely revised and updated version of the French edition. It is intended for professionals, microbiologists and chemists, as well as scientists, engineers, teachers and post-doctoral researchers, who are interested by the conversions of hydrocarbons and by microbial ecology.The French edition of this book was awarded a special mention for engineering education text book by the Roberval Prize committee in 2007.
This book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99. The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems.