Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings (Paperback, 1st ed. 2022)
Loot Price: R2,216
Discovery Miles 22 160
|
|
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings (Paperback, 1st ed. 2022)
Series: Theoretical Computer Science and General Issues, 13137
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R2,236
Discovery Miles: 22 360
|
This book constitutes the refereed proceedings of the International
Symposium on Logical Foundations of Computer Science, LFCS 2022,
held in Deerfield Beach, FL, USA, in January 2022. The 23 revised
full papers were carefully reviewed and selected from 35
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 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; non-monotonic
reasoning; logic in game theory and social software; logic of
hybrid systems; distributed system logics; mathematical fuzzy
logic; system design logics; 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.