The following pages link to Carl P. Pixley (Q1226777):
Displaying 17 items.
- (Q1112593) (redirect page) (← links)
- An incremental garbage collection algorithm for multi-mutator systems (Q1112594) (← links)
- Continuously choosing a retraction of a separable metric space onto each of its arcs (Q1226778) (← links)
- A unified theorem on continuous selections (Q1257230) (← links)
- A note on the dimensions of projections of cells in \(E^ n\) (Q1260404) (← links)
- Model checking: a hardware design perspective (Q1856178) (← links)
- Constructing efficient formal models from high-level descriptions using symbolic simulation (Q2506268) (← links)
- (Q3968130) (← links)
- (Q4037107) (← links)
- (Q4037374) (← links)
- (Q4064727) (← links)
- (Q4185510) (← links)
- (Q4427895) (← links)
- Constraint-Based Verification (Q5201279) (← links)
- Formal Methods in Computer-Aided Design (Q5492975) (← links)
- An Example Concerning Continuous Selections on Infinite-Dimensional Spaces (Q5667225) (← links)
- (Q5674683) (← links)
