×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [reduction semantics]
Documents
Mathematical Relations Qrs
233 views
Documents
1 Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming joint work with Ugo Montanari Ivan Lanese Dipartimento di Informatica Università
220 views
Documents
Prof. Diletta Romana Cacciagrano. (red-cong) :
224 views
Documents
Checking Reachability using Matching Logic
29 views
Documents
Communication and Concurrency: CCS
59 views
Documents
Tim Sheard Oregon Graduate Institute Lecture 11: A Reduction Semantics for MetaML CS510 Section FSC Winter 2005 Winter 2005
214 views
Documents
Mobile Calculi
34 views
Documents
Mathematical Relations Qrstuz
221 views