Logic for concurrency and synchronisation
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
c2003.
|
| Series: | Trends in logic ;
v. 18. |
| Subjects: | |
| Online Access: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Logic for concurrency and synchronisation
- Proof, logic, and formalization
- Concepts of proof in mathematics, philosophy, and computer science /
- The nuts and bolts of proofs
- Charming proofs a journey into elegant mathematics /
- Lectures on the Curry-Howard isomorphism
- Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /