198 results on '"Pratt, Vaughan"'
Search Results
2. Preface
3. The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry
4. Dynamic Logic: A Personal Perspective
5. A combinatorial analysis of the average time for open-address hash coding insertion
6. Aristotle, Boole, and Categories
7. My time with Rob
8. Linear Process Algebra
9. Stanley: The Robot That Won the DARPA Grand Challenge
10. Event-State Duality: The Enriched Case
11. Software Geography: Physical and Economic Aspects
12. Factoring Heron
13. Chu spaces and their interpretation as concurrent objects
14. Rational mechanics and natural mathematics
15. Anatomy of the Pentium bug
16. Time and information in sequential and concurrent computation
17. The second calculus of binary relations
18. The duality of time and information
19. Arithmetic + logic + geometry = concurrency
20. Action logic and pure induction
21. Dynamic algebras as a well-behaved fragment of relation algebras
22. Linear Process Algebra
23. Cyanide-free Net-caught Fish for the Marine Aquarium Trade
24. Territorial Use Rights in Fisheries to Manage Areas for Farming Coral Reef Fish and Invertebrates for the Aquarium Trade
25. Poison and profits: cyanide fishing in the Indo-Pacific
26. Event-State Duality: The Enriched Case
27. Software Geography: Physical and Economic Aspects
28. Dynamic algebras: Examples, constructions, applications
29. Report documentation page
30. Debate ’90: An electronic discussion on true concurrency
31. Teams can see pomsets
32. Comonoids in chu: a large cartesian closed sibling of topological spaces
33. Chu spaces as a semantic bridge between linear logic and mathematics
34. Time and information in sequential and concurrent computation
35. Rational mechanics and natural mathematics
36. Chu spaces and their interpretation as concurrent objects
37. Anatomy of the Pentium bug
38. A Roadmap of Some Two-Dimensional Logics
39. The Real Numbers, Algebraically: 10689
40. Chu spaces from the representational viewpoint
41. Application of Modal Logic to Programming
42. Math Bite: The Volume of a Cone, without Calculus or Square Roots
43. 10689
44. Temporal structures
45. The pomset model of parallel processes: Unifying the temporal and the spatial
46. Some constructions for order-theoretic models of concurrency
47. Axioms or algorithms
48. An n log n Algorithm to Distribute n Records Optimally in a Sequential Access File
49. Factoring Heron
50. Second Calculus of Binary Relations as a Concurrent Programming Language.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.