The following pages link to Dai Tri Man Lê (Q651307):
Displaying 11 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- The complexity of the comparator circuit value problem (Q2828221) (← links)
- Formalizing Randomized Matching Algorithms (Q2904622) (← links)
- A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem (Q2915696) (← links)
- Closure Operators for Order Structures (Q3183612) (← links)
- (Q3225719) (← links)
- (Q3425582) (← links)
- Modelling Concurrency with Quotient Monoids (Q3510871) (← links)
- On a Parthood Specification Method for Component Software (Q3535494) (← links)
- A Characterization of Combined Traces Using Labeled Stratified Order Structures (Q3569864) (← links)
- A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304) (← links)