|
|
|
Item Details
Title:
|
LOGIC IN COMPUTER SCIENCE
SYMPOSIUM PROCEEDINGS |
Volume: |
10th |
By: |
Dexter Kozen, Dexter C. Kozen (Editor) |
Format: |
Paperback |
List price:
|
£90.50 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0818670509 |
ISBN 13: |
9780818670503 |
Publisher: |
IEEE COMPUTER SOCIETY PRESS,U.S. |
Pub. date: |
31 January, 1996 |
Pages: |
528 |
Description: |
The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a compl |
Synopsis: |
The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a compl |
Publication: |
US |
Imprint: |
IEEE Computer Society Press,U.S. |
Returns: |
Non-returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|