BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nakamura:Katsuhiko

Contributed to:

LATA 20132013
ICLP 19861986
ILPC 19841984

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.