PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sakai, Masahiko"

Author of the publication

copydeleteadd this publication to your clipboard
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.

, and . IEICE Transactions, 98-D (6): 1121-1127 (2015)

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 Sakai, Masahiko
add a person with the name Sakai, Masahiko
 

Other publications of authors with the same name

Determinization of conditional term rewriting systems., , and . Theor. Comput. Sci., (2012)Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs., , and . IEICE Transactions, 93-D (5): 953-962 (2010)Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers., and . IEICE Transactions, 98-D (6): 1121-1127 (2015)Controlled Term Rewriting., , and . FroCoS, volume 6989 of Lecture Notes in Computer Science, page 179-194. Springer, (2011)Improving Determinization of Grammar Programs for Program Inversion., , and . LOPSTR, volume 7844 of Lecture Notes in Computer Science, page 155-175. Springer, (2012)Partial Inversion of Constructor Term Rewriting Systems., , and . RTA, volume 3467 of Lecture Notes in Computer Science, page 264-278. Springer, (2005)Semantics and Strong Sequentiality of Priority Term Rewriting Systems., and . RTA, volume 1103 of Lecture Notes in Computer Science, page 377-391. Springer, (1996)Error description on algebraic specification and its automatic addition., , , and . Systems and Computers in Japan, 27 (10): 59-67 (1996)On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems., and . IEICE Transactions, 88-D (3): 583-593 (2005)A Parse-Based Framework for Coupled Rhythm Quantization and Score Structuring., , , and . MCM, volume 11502 of Lecture Notes in Computer Science, page 248-260. Springer, (2019)