Periodo de publicación recogido
|
|
|
Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 88, Nº 12, 2005, págs. 2715-2726
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
Masahiko Sakai, Keiichirou Kusakari
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 88, Nº 3, 2005, págs. 583-593
An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems
Masahiko Sakai
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 84, Nº 8, 2001, págs. 1025-1032
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems
M. Iwami, Masahiko Sakai, Y. Toyama
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 81, Nº 9, 1998, págs. 988-996
Index reduction of overlapping strongly sequential systems
Takashi Nagaya, Masahiko Sakai, Yoshihito Toyama
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 81, Nº. 5, 1998, págs. 419-426
Left-incompatible term rewriting systems and functional strategy
Masahiko Sakai
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 80, Nº. 12, 1997, págs. 1176-1182
Generating equivalent rhythmic notations based on rhythm tree languages
Florent Jacquemard, Adrien Ycart, Masahiko Sakai
TENOR 2017: International Conference on Technologies for Music Notation and Representation : [24- 26 May 2017, University of A Coruña, Spain] / coord. por Helena López Palma, Mike Solomon, Carmen Lage, 2017, págs. 145-153
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados