|
Showing 1 - 1 of
1 matches in All Departments
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.