The following pages link to Keisuke Nakano (Q526438):
Displaying 20 items.
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- XML stream transformer generation through program composition and dependency analysis (Q703585) (← links)
- Fundamental characteristics of multi-hop wireless communication networks (Q1859060) (← links)
- Involutory Turing machines (Q2039889) (← links)
- Composing stack-attributed tree transducers (Q2272204) (← links)
- Marker-Directed Optimization of UnCAL Graph Transformations (Q4909319) (← links)
- Shall We Juggle, Coinductively? (Q4916059) (← links)
- (Q4993347) (← links)
- (Q5114826) (← links)
- A Tangled Web of 12 Lens Laws (Q5162609) (← links)
- Bidirectionalization transformation based on automatic derivation of view complement functions (Q5168924) (← links)
- Bidirectionalizing graph transformations (Q5176941) (← links)
- Structural recursion for querying ordered graphs (Q5244813) (← links)
- Metamorphism in jigsaw (Q5298791) (← links)
- A Pushdown Machine for Recursive XML Processing (Q5385602) (← links)
- Programming Languages and Systems (Q5464060) (← links)
- Streaming ranked-tree-to-string transducers (Q5918275) (← links)
- Streaming ranked-tree-to-string transducers (Q5918805) (← links)
- Idempotent Turing Machines (Q6113367) (← links)
- Disproving termination of non-erasing sole combinatory calculus with tree automata (Q6666803) (← links)
