10 results on '"Cirstea, Horatiu"'
Search Results
2. Rewrite Based Specification of Access Control Policies
3. From Functional Programs to Interaction Nets via the Rewriting Calculus
4. Distributive ρ-calculus
5. Rule-based Programming in Java For Protocol Verification
6. A ρ-Calculus of Explicit Constraint Application
7. Rewriting Calculus with(out) Types
8. Rewrite Strategies in the Rewriting Calculus
9. Translating Combinatory Reduction Systems into the Rewriting Calculus
10. The simply typed rewriting calculus
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.