Yoshifumi Yuasa
From MaRDI portal
Person:675125
Available identifiers
zbMath Open yuasa.yoshifumiMaRDI QIDQ675125
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| MLAT: a tool for heap analysis based on predicate abstraction by modal logic | 2009-04-03 | Paper |
| The tightness about sequential fans and combinatorial properties | 1998-11-08 | Paper |
| Cardinal invariants about shrinkability of unbounded sets | 1997-08-24 | Paper |
| Entangled linear orders in the Easton's models | 1994-10-17 | Paper |
| Adding a Cohen real adds an entangled linear order | 1993-12-09 | Paper |
Research outcomes over time
This page was built for person: Yoshifumi Yuasa
