The following pages link to (Q3826542):
Displayed 5 items.
- Partial memoization for obtaining linear time behavior of a 2DPDA (Q1193887) (← links)
- A Practical Simulation Result for Two-Way Pushdown Automata (Q2830212) (← links)
- Maximally-Polyvariant Partial Evaluation in Polynomial Time (Q3179173) (← links)
- Immune Systems in Computer Virology (Q3195689) (← links)
- Generalizing Cook's transformation to imperative stack programs (Q6142866) (← links)