Travelled to:1 × Spain
1 × Sweden
1 × United Kingdom
Collaborated with:∅ K.Imada
Talks about:program (2) logic (2) function (1) automata (1) grammar (1) control (1) concurr (1) symbol (1) linear (1) execut (1)
Person: Katsuhiko Nakamura
DBLP: Nakamura:Katsuhiko
Contributed to:
2013
19861984Wrote 3 papers:
- LATA-2013-NakamuraI #automaton #linear #stack
- Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars (KN, KI), pp. 444–455.
- ICLP-1986-Nakamura86 #execution #functional #logic programming
- Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.
- ILPC-1984-Nakamura84 #concurrent #evaluation #logic programming #source code
- Associative Concurrent Evaluation of Logic Programs (KN), pp. 321–331.