The following pages link to Matti Nykänen (Q524940):
Displaying 15 items.
- (Q236676) (redirect page) (← links)
- How to deal with unbelievable assertions (Q524943) (← links)
- An incremental algorithm for DLO quantifier elimination via constraint propagation (Q814643) (← links)
- On size reduction techniques for multitape automata (Q860868) (← links)
- Finding lowest common ancestors in arbitrarily directed trees (Q1330662) (← links)
- Design and implementation of a string database query language. (Q1400615) (← links)
- Reasoning about strings in databases (Q1807679) (← links)
- The Exact Path Length Problem (Q2777605) (← links)
- A note on the genuine Sieve of Eratosthenes (Q2913924) (← links)
- Accommodative Belief Revision (Q3532466) (← links)
- (Q4397727) (← links)
- (Q4955257) (← links)
- Implementation and Application of Automata (Q5464004) (← links)
- Implementation and Application of Automata (Q5897686) (← links)
- Using acceptors as transducers (Q5958726) (← links)
