Pages that link to "Item:Q4924525"
From MaRDI portal
The following pages link to Encryption as an abstract data-type (Q4924525):
Displaying 4 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (Q5325767) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)