Pages that link to "Item:Q4358059"
From MaRDI portal
The following pages link to On the unification problem for Cartesian closed categories (Q4358059):
Displaying 6 items.
- Unification modulo homomorphic encryption (Q437037) (← links)
- Unification Modulo Homomorphic Encryption (Q3655194) (← links)
- Retrieving library functions by unifying types modulo linear isomorphism (Q4304554) (← links)
- Unification and matching modulo nilpotence (Q4647522) (← links)
- An algorithm for distributive unification (Q5055867) (← links)
- Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)
