Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Logical Foundations of Computer Science - International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Paperback, 2013 ed.)
Loot Price: R1,599
Discovery Miles 15 990
|
|
Logical Foundations of Computer Science - International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Paperback, 2013 ed.)
Series: Theoretical Computer Science and General Issues, 7734
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the International
Symposium on Logical Foundations of Computer Science, LFCS 2013,
held in San Diego, CA, USA in January 2013. The volume presents 29
revised refereed papers carefully selected by the program
committee. The scope of the Symposium is broad and includes
constructive mathematics and type theory; logic, automata and
automatic structures; computability and randomness; 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; logical methods in program specification and
extraction; domain theory logic; 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; mathematical fuzzy
logic; system design logics; and 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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.