Author of the publication

A class of ambiguous linear term-rewriting systems on which call-by-need is a normalizing reduction strategy.

, , , and . Syst. Comput. Jpn., 18 (9): 19-30 (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Searching a polygonal region by a group of stationary k-searchers., , and . Inf. Process. Lett., 92 (1): 1-8 (2004)Modeling K-coteries by well-covered graphs., and . Networks, 34 (3): 221-228 (1999)A Coterie Join Operation and Tree Structured k-Coteries., and . PDPTA, page 327-333. CSREA Press, (1999)Online polygon search by a seven-state boundary 1-searcher., , and . IEEE Trans. Robotics, 22 (3): 446-460 (2006)Motion planning for metamorphic systems: feasibility, decidability, and distributed reconfiguration., , and . IEEE Trans. Robotics, 20 (3): 409-418 (2004)Total Variation Discrepancy of Deterministic Random Walks for Ergodic Markov Chains., , , and . CoRR, (2015)Plane Formation by Synchronous Mobile Robots in the Three-Dimensional Euclidean Space., , , and . J. ACM, 64 (3): 16:1-16:43 (2017)Impact of Local Topological Information on Random Walks on Finite Graphs., , , and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 1054-1067. Springer, (2003)Total variation discrepancy of deterministic random walks for ergodic Markov chains., , , and . Theor. Comput. Sci., (2017)Team assembling problem for asynchronous heterogeneous mobile robots., , , and . Theor. Comput. Sci., (2018)