Kazuhisa Ishida

According to our database¹, Kazuhisa Ishida authored at least 4 papers between 2008 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Definition of Flat Poset and Existence Theorems for Recursive Call.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

2010

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets.

[BibT_eX]

[DOI]

Formaliz. Math., 2010

2008

Model Checking. Part III.

[BibT_eX]

[DOI]

Formaliz. Math., 2008

Model Checking. Part II.

[BibT_eX]

[DOI]

Formaliz. Math., 2008