Yōsō fudōten riron to chūshō kaishaku no tame no daisū kōzō
Subtitle: hakushi ronbun
By: Nishizawa Kōki = Algebraic structure for a modal fixed pnt logic and abstract interpretation : a doctor thesis / by Koki Nishizawa.
Series: Sanpu kagaku kenkyū sokuhō = Programming science technical report
Publisher: Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā
Published: 2007
Place of publication: Ikeda-shi
Language: eng
Number of pages: 104
Other titles: Algebraic structure for a modal fixed point logic and abstract interpretation
Notes: "AIST-PS-2007-009"

Thesis (doctoral)--University of Tokyo, 2006.