This book constitutes the refereed proceedings of the International
Symposium on Logical Foundations of Computer Science, LFCS 2007,
held in New York, NY, USA in June 2007.
The volume presents 36 revised refereed papers carefully
selected by the program committee. All current aspects of logic in
computer science are addressed, including constructive mathematics
and type theory, logical foundations of programming, logical
aspects of computational complexity, logic programming and
constraints, automated deduction and interactive theorem proving,
logical methods in protocol and program verification and in program
specification and extraction, domain theory logics, logical
foundations of database theory, equational logic and term
rewriting, lambda and combinatory calculi, categorical logic and
topological semantics, linear logic, epistemic and temporal logics,
intelligent and multiple agent system logics, logics of proof and
justification, nonmonotonic reasoning, logic in game theory and
social software, logic of hybrid systems, distributed system
logics, system design logics, as well as other logics in computer
science.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!