Periodo de publicación recogido
|
|
|
A Higher-Order Knuth-Bendix Procedure and Its Applications
Keiichirou Kusakari, Yuki Chiba
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 90, Nº 4, 2007, págs. 707-715
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
Higher order path orders based on computability
Keiichirou Kusakari
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 87, Nº 2, 2004, págs. 352-359
On Proving AC-Termination by AC-Dependency Paris
Keiichirou Kusakari
IEICE transactions on information and systems, ISSN 0916-8532, Vol. 84, Nº 5, 2001, págs. 604-612
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