Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings: 813 (Lecture Notes in Computer Science, 813) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logical Foundations of Computer Science: Third International...
Stock Image
Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Published by
Springer Berlin / Heidelberg, 1994
ISBN 10: 3540581405
ISBN 13: 9783540581406
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 6208563-6
Seller Image
Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905843-n
Stock Image
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science, 813)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783540581406
Seller Image
Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5905843
Stock Image
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science, 813)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540581406_new
Buy New
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540581406
Buy New
£ 47.80
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905843-n
Buy New
£ 50.28
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logical Foundations of Computer Science
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1994, 1994
ISBN 10: 3540581405
ISBN 13: 9783540581406
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 408 pp. Englisch. Seller Inventory # 9783540581406
Seller Image
Logical Foundations of Computer Science : Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5905843
Buy Used
£ 55.90
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Paperback or Softback)
Published by
Springer 6/8/1994, 1994
ISBN 10: 3540581405
ISBN 13: 9783540581406
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings. Book. Seller Inventory # BBS-9783540581406