Daisuke Nagano Vis

*	2001
2		Kengo Nishino, Daisuke Nagano, Sachio Hirokawa: Generation of Navigation Script from Log and Link. WebNet 2001: 534-539
	2000
1	EE	Sachio Hirokawa, Daisuke Nagano: Long Normal Form Proof Search and Counter-Model Generation. Electr. Notes Theor. Comput. Sci. 37: (2000)

Coauthor Index

1	Sachio Hirokawa	[1] [2]
2	Kengo Nishino	[2]