Login / Signup
Daisuke Nagano
Publication Activity (10 Years)
Years Active: 2000-2001
Publications (10 Years): 0
</>
Publications
</>
Kengo Nishino
,
Daisuke Nagano
,
Sachio Hirokawa
Generation of Navigation Script from Log and Link.
WebNet
(2001)
Sachio Hirokawa
,
Daisuke Nagano
Long Normal Form Proof Search and Counter-Model Generation.
Electron. Notes Theor. Comput. Sci.
37 (2000)