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.

No persons found for author name Ibaraki, Toshihide
add a person with the name Ibaraki, Toshihide
 

Other publications of authors with the same name

Collision Probability in an Automated Production Line under Erlang Distribution., , , and . RIVF, page 42-49. IEEE, (2007)Computing Edge-Connectivity Augmentation Function in Õ(nm) Time., , and . SODA, page 649-658. ACM/SIAM, (1997)Computing All Small Cuts in Undirected Networks., , and . ISAAC, volume 834 of Lecture Notes in Computer Science, page 190-198. Springer, (1994)Reasoning with Ordered Binary Decision Diagrams., and . ISAAC, volume 1969 of Lecture Notes in Computer Science, page 120-131. Springer, (2000)Two-Face Horn Extensions., , and . ISAAC, volume 1350 of Lecture Notes in Computer Science, page 112-121. Springer, (1997)A Set Covering Approach for the Pickup and Delivery Problem with General Constraints on Each Route., , , , , and . SLS, volume 4638 of Lecture Notes in Computer Science, page 192-196. Springer, (2007)Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams., and . ISAAC, volume 2223 of Lecture Notes in Computer Science, page 231-243. Springer, (2001)On the Difference of Horn Theories., , and . STACS, volume 1563 of Lecture Notes in Computer Science, page 467-477. Springer, (1999)Finding Essential Attributes in Binary Data., , , , and . IDEAL, volume 1983 of Lecture Notes in Computer Science, page 133-138. Springer, (2000)Logical analysis of data: classification with justification., , , , , and . Ann. Oper. Res., 188 (1): 33-61 (2011)