The following pages link to Chiharu Hosono (Q1229707):
Displaying 9 items.
- On the cardinality of some lattices (Q1229708) (← links)
- The retracts in \(P\omega\) do not form a continuous lattice - a solution to Scott's problem (Q1241760) (← links)
- On an unsatisfiability-satisfiability prover (Q1264000) (← links)
- (Q3788698) (← links)
- (Q3832537) (← links)
- (Q3989946) (← links)
- On the elimination of some higher type quantifiers (Q4534183) (← links)
- (Q4797367) (← links)
- (Q5428005) (← links)
