Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Buy Now
Logical Foundations of Computer Science - Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Paperback, 1994 ed.)
Loot Price: R1,730
Discovery Miles 17 300
|
|
Logical Foundations of Computer Science - Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Paperback, 1994 ed.)
Series: Lecture Notes in Computer Science, 813
Expected to ship within 10 - 15 working days
|
This volume presents the refereed papers accepted for the
international symposium Logical Foundations of Computer Science
'94, Logic at St. Petersburg, held in St. Petersburg, Russia in
July 1994. The symposium was the third in a series of joint efforts
of logicians from both the former Soviet Union and the West.
The volume reflects that the interaction of logic and computer
science is an especially fertile ground for interdisciplinary work
providing mutual understanding and benefits. The totally 35 papers
are devoted to topics as linear logic, Horn clauses,
model-checking, lambda-calculi, modal logic, and problem
complexity.
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.