Вы здесь

Главная

Hagiya M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Higher-Order Unification as a Theorem Proving Procedure 1991 Hagiya M. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Running Higher-Order Unification in PaiLisp 1993 Hagiya M. Lecture Notes in Computer Science 12.01.1994
СТ On Implicit Arguments 1994 Hagiya M., Toda Y. Lecture Notes in Computer Science 14.05.1994
СТ A Transformation Method for Dynamic-Sized Tabulation 1995 Chin W. -N., Hagiya M. Acta Informatica 17.05.1995
СТ A Bounds Inference Method for Vector-Based Memoization 1997 Chin W. -N., Hagiya M. SIGPLAN Notices 01.10.1997
СТ On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines 1998 Hagiya M., Tozawa A. Lecture Notes in Computer Science 01.10.1998
СТ Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic 2004 Hagiya M., Takahashi K., Yamamoto M., Sato T. Lecture Notes in Computer Science 07.05.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic, Language and Computation: Festschrift in Honor of Satoru Takasu 1994 Lecture Notes in Computer Science
  1. Jones N. D.
  2. Hagiya M.
  3. Sato M.
 13.05.1994
СБ Theoretical Aspects of Computer Software: Proc./Intern. Symp. TACS 94. Sendai, Japan, April 1994 1994 Lecture Notes in Computer Science
  1. Hagiya M.
  2. Mitchell J. C.
 26.04.1994
СБ Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: Proc./Intern Conf. IFIP TCS 2000, Sendai, Japan, August 2000 2000 Lecture Notes in Computer Science
  1. Van Leeuwen J.
  2. Watanabe O.
  3. Hagiya M.
  4. Mosses P. D.
 12.09.2000
СБ DNA Computing: Proc./8th Intern. Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 2002 2003 Lecture Notes in Computer Science
  1. Hagiya M.
  2. Ohuchi A.
 01.03.2003
СБ Functional and Logic Programming: Proc./8th International Symposium, FLOPS 2006. Fuji-Susono, Japan, April 2006 2006 Lecture Notes in Computer Science
  1. Hagiya M.
  2. Wadler Ph.
 20.10.2006
СБ Unconventional Computation: Proc./9th International Conference, UC 2010, Tokyo, Japan, June 2010 2010 Lecture Notes in Computer Science
  1. Calude C. S.
  2. Hagiya M.
  3. Morita K.
  4. Rozenberg G.
 10.08.2010