Logic in Computer Science: LICS '98 13th: Symposium Proceedings (Paperback)

by IEEE Computer Society

Format: Paperback 500 pages

Not in stock

Usually despatched within 7 weeks


Delivered FREE
in the UK

This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting."

Book details


IEEE Computer Society Press,U.S.


Other books by this author See all titles

The prices displayed are for website purchases only, and may differ to the prices in Waterstones shops.