Books > Computing & IT > Computer programming
|
Buy Now
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Paperback, 1st ed. 2018)
Loot Price: R2,678
Discovery Miles 26 780
|
|
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Paperback, 1st ed. 2018)
Series: Theoretical Computer Science and General Issues, 10703
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 2018,
held in Deerfield Beach, FL, USA, in January 2018. The 22 revised
full papers were carefully reviewed and selected from 22
submissions. The scope of the Symposium is broad and includes
constructive mathematics and type theory; homotopy type theory;
logic, automata, and automatic structures; computability and
randomness; logical foundations of programming; logical aspects of
computational complexity; parameterized 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 logics; logical foundations of database
theory; equational logic and term rewriting; lambda andcombinatory
calculi; categorical logic and topological semantics; linear logic;
epistemic and temporal logics; intelligent and multiple-agent
system logics; logics of proof and justification; non-monotonic
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.