The following pages link to Wolfgang J. Paul (Q290241):
Displaying 50 items.
- Decimal adjustment of long numbers in constant time (Q290242) (← links)
- (Q792092) (redirect page) (← links)
- On heads versus tapes (Q792093) (← links)
- (Q1019013) (redirect page) (← links)
- On the correctness of upper layers of automotive systems (Q1019015) (← links)
- Proving the correctness of client/server software (Q1040009) (← links)
- (Q1137383) (redirect page) (← links)
- On time hierarchies (Q1137384) (← links)
- On alternation (Q1141480) (← links)
- On alternation. II. A graph theoretic approach to determinism versus nondeterminism (Q1146515) (← links)
- On time versus space. II (Q1152954) (← links)
- An information-theoretic approach to time bounds for on-line computation (Q1156484) (← links)
- \(k\) versus \(k+1\) index registers and modifiable versus non-modifiable programs (Q1201728) (← links)
- Boolesche Minimalpolynome und Überdeckungsprobleme (Q1224047) (← links)
- Realizing Boolean functions on disjoint sets of variables (Q1233425) (← links)
- Time-space trade-offs in a pebble game (Q1254254) (← links)
- A note on bitonic sorting (Q1318746) (← links)
- On the cost-effectiveness of PRAMs (Q1818302) (← links)
- Autonomous theory building systems (Q1897404) (← links)
- The complexity of simple computer architectures (Q1903297) (← links)
- (Q3051378) (← links)
- (Q3212657) (← links)
- (Q3313267) (← links)
- On-line simulation of k + 1 tapes by k tapes requires nonlinear time (Q3321474) (← links)
- (Q3334988) (← links)
- (Q3334989) (← links)
- (Q3343441) (← links)
- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification (Q3593068) (← links)
- Pervasive Theory of Memory (Q3644715) (← links)
- An Efficient General-Purpose Parallel Computer (Q3662602) (← links)
- (Q3670587) (← links)
- (Q3679010) (← links)
- (Q3679216) (← links)
- Coding Strings by Pairs of Strings (Q3690213) (← links)
- Bounds for Width Two Branching Programs (Q3718153) (← links)
- Two nonlinear lower bounds for on-line computations (Q3718158) (← links)
- (Q3891768) (← links)
- (Q3940846) (← links)
- A $2.5n$-Lower Bound on the Combinational Complexity of Boolean Functions (Q4131019) (← links)
- On Time Versus Space (Q4131020) (← links)
- (Q4137204) (← links)
- (Q4138138) (← links)
- (Q4141274) (← links)
- Space bounds for a game on graphs (Q4143082) (← links)
- Correction to “Space Bounds for a Game on Graphs” by Wolfgang J. Paul, Robert Endre Tarjan and James R. Celoni (Q4152077) (← links)
- (Q4160409) (← links)
- (Q4181967) (← links)
- (Q4215826) (← links)
- (Q4287470) (← links)
- (Q4494691) (← links)