The following pages link to (Q3992623):
Displaying 12 items.
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Stable minimum space partitioning in linear time (Q1195932) (← links)
- A short cut to optimal sequences (Q1758658) (← links)
- Declarative pearl: deriving monadic quicksort (Q2039941) (← links)
- Range minimum queries in minimal space (Q2078612) (← links)
- Optimal patchings for consecutive ones matrices (Q2125569) (← links)
- Optimal information transmission in organizations: Search and congestion (Q2268904) (← links)
- Application of wear modelling methodology to the design of a lift car installation by means of finite element simulation (Q2510242) (← links)
- Schrödinger's token (Q2745266) (← links)
- Backjumping is Exception Handling (Q4957217) (← links)
- Extra Space during Initialization of Succinct Data Structures and Dynamical Initializable Arrays. (Q5005169) (← links)
- Finding the maximum subsequence sum on interconnection networks (Q5421615) (← links)
